Sıralı süreçleri iletme (CSP), sistemler arasındaki iletişimi analiz etmek için matematik ve mantık kullanan bir dildir. CSP, bir sistemde eşzamanlı olarak çalışan ancak paralel olmayan eşzamanlı süreçleri açıklar. Eşzamanlılık, normal bilgisayar programlarının aynı süre içinde farklı görevleri yerine getirerek düzgün çalışmasına izin verir, ancak bu görevler birbirine bağlı (veya paralel) değildir. CSP'de, eşzamanlı sistemler iletiler yoluyla iletişim kurar: sıralı süreçler birbirleri arasında iletişim halindedir. Bu iletişim cebirsel ve mantıklıdır.
CSP ilk olarak 1978'de Tony Hoare tarafından geliştirildi. Teorisini 1980'lerde geliştirdi ve CSP üzerine popüler bir kitap yayınladı; Sıralı Süreçleri İletmek başlıklı bu kitap hala bu dilin önde gelen otoritelerinden biri olarak kabul ediliyor. CSP, yazılımı, bilgisayar sistemlerini ve bazı programlama dillerini analiz etmek için kullanılabilir. Örneğin, programlama dili Go yerel eşzamanlılık ve CSP özelliklerine sahiptir.
CSP, etkileşimleri tanımlamak için cebirsel denklemler ve mantık kullanarak eşzamanlı olarak gerçekleşen ve birbirleriyle etkileşime giren süreçleri parçalar. Bu süreç cebiri olarak bilinir. Hoare kitabında olaylar (nesnelerin belirli anları) ve süreçler (bu nesnelerin yaşamları boyunca nasıl davrandıkları) arasındaki farkı ayrıntılı olarak açıkladı. Bir olay, bir CSP denkleminde x olarak tanımlanabilir ve bir süreç Y olarak tanımlanabilir. Olaylar ve süreçler kesinlikle farklıdır. Korumalar, CSP'deki bir komutun önüne yerleştirilen ve bir program komutu yürütülmeden önce kısıtlamaları belirleyen gereksinimlerdir. Bu cebirsel formüller, bilgi işlem sistemleri ve eşzamanlı olarak çalışan süreçler arasında net bağlantılar sunar.