Hyper Dictionary

English Dictionary Computer Dictionary Video Dictionary Thesaurus Dream Dictionary Medical Dictionary


Search Dictionary:  

Meaning of CALCULUS OF COMMUNICATING SYSTEMS

 
Computing Dictionary
 
 Definition: 

(CCS) A mathematical model (a formal language) for describing processes, mostly used in the study of parallelism. A CCS program, written in behaviour expressions syntax denotes a process behaviour. Programs can be compared using the notion of observational equivalence.

["A Calculus of Communicating Systems", LNCS 92, Springer 1980].

["Communication and Concurrency", R. Milner, P-H 1989].

 

 

COPYRIGHT © 2000-2013 HYPERDICTIONARY.COM HOME | ABOUT HYPERDICTIONARY