Systemy i architekturaobiekt

CSP

Communicating Sequential Processes

Formalny model współbieżności oparty na synchronicznej komunikacji procesów przez kanały, z operatorami wyboru, kompozycji równoległej i sekwencji.

Typ
obiekt
Pojęcie nadrzędne
algebra procesów
Źródło
Hoare, Communicating Sequential Processes (1978)

Chcesz wykorzystać AI w swojej firmie?

Wdrażamy chatboty, agentów głosowych i automatyzacje dla MŚP. Pierwsza konsultacja jest bezpłatna.

Bezpłatna konsultacja