Entrez un mot ou une phrase dans n'importe quelle langue 👆
Langue:
Traduction et analyse de mots par intelligence artificielle ChatGPT
Sur cette page, vous pouvez obtenir une analyse détaillée d'un mot ou d'une phrase, réalisée à l'aide de la meilleure technologie d'intelligence artificielle à ce jour:
- comment le mot est utilisé
- fréquence d'utilisation
- il est utilisé plus souvent dans le discours oral ou écrit
- options de traduction de mots
- exemples d'utilisation (plusieurs phrases avec traduction)
- étymologie
Qu'est-ce (qui) est Communicating Sequential Processes - définition
Communicating sequential processes
FORMAL LANGUAGE FOR CONCURRENT SYSTEMS
Communicating Sequential Processes; Cooperating sequential processes
In computer science, communicating sequential processes (CSP) is a formal language for describing patterns of interaction in concurrent systems. It is a member of the family of mathematical theories of concurrency known as process algebras, or process calculi, based on message passing via channels.
Communicating Sequential Processes
FORMAL LANGUAGE FOR CONCURRENT SYSTEMS
Communicating Sequential Processes; Cooperating sequential processes
<language, parallel> (CSP) A notation for concurrency based
on synchronous message passing and selective communications
designed by Anthony Hoare in 1978. It features cobegin
and coend and was a precursor to occam.
See also Contextually Communicating Sequential Processes.
["Communicating Sequential Processes", A.R. Hoare, P-H 1985 ].
(1994-11-01)
Algebra of communicating processes
The algebra of communicating processes (ACP) is an algebraic approach to reasoning about concurrent systems. It is a member of the family of mathematical theories of concurrency known as process algebras or process calculi.
