bn:01819165n
Noun Concept
Categories: Langage de programmation, Méthode formelle
FR
Communicating sequential processes
FR
En programmation concurrente, Communicating sequential processes est une algèbre de processus permettant de modéliser l'interaction de systèmes. Wikipedia
Definitions
Relations
Sources
FR
En programmation concurrente, Communicating sequential processes est une algèbre de processus permettant de modéliser l'interaction de systèmes. Wikipedia
Un langage informatique défini par C.A.R. Hoare en 1978. Wikipedia Disambiguation