Added to Favorites

Computing Dictionary

(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].

(1994-11-29)

Explore Dictionary.com

Previous Definition: calculus finite differences

Next Definition: calculus of finite differences

Words Near: calculus of communicating systems

More from Thesaurus.com

Synonyms and Antonyms for calculus of communicating systems

More from Reference.com

Search for articles containing calculus of communicating systems

More from Dictionary.com Translator

Dictionary.com Word FAQs

Dictionary.com presents 366 FAQs, incorporating some of the frequently asked questions from the past with newer queries.

Nearby Words

Copyright © 2014 Dictionary.com, LLC. All rights reserved.