Communicating Sequential Processes

কমিউনিকেটিং সিকোয়েনশিয়াল প্রসেসেস

C.A.R. Hoare-এর concurrency model — process গুলো নিজের অবস্থা লুকিয়ে রাখে, anonymous channel দিয়ে synchronous message exchange করে।

also: CSP

Hoare-এর 1978 notation:

COPY :: c ? x → d ! x        # c থেকে পড়ো, d-তে পাঠাও — দুই event sync

Rendezvous: sender আর receiver দুজন ready হলে তবেই exchange — unbuffered channel-এর ভাবনা
Actor-র সাথে পার্থক্য: CSP-তে channel মুখ্য (anonymous), actor-মধ্যে identity; CSP send blocking হতে পারে
Go channels + goroutine, OCaml events, occam — CSP-র direct উত্তরসূরি; select = guarded choice
Formal analysis: trace/refinement model checking — CSP spec-এ proof করা যায় (FDR tool)