Calculus of Communicating Systems

Also found in: Acronyms, Wikipedia

0.01 sec.

Calculus of Communicating Systems - (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].

Want to thank TFD for its existence? Tell a friend about us, add a link to this page, add the site to iGoogle, or visit the webmaster's page for free fun content.

?Page tools

Printer friendly
Cite / link

Feedback

Mentioned in	?		Encyclopedia browser	?		Full browser	?
No references found			Calcium Sulfide calcium sulfite calcium tungstate calcium wolframate calcium-45 calcium-bomb process calcium-channel blocker Calcium-silicon calclacite Calclamnidae calclithite calcrete calcspar calcsparite calculated address calculated altitude calculated field calculated live load calculating machine Calculation, Cost calculation-based molecular modeling calculator Calculi calculon Calculus Calculus of Communicating Systems calculus of enlargement Calculus of Finite Differences Calculus of Observations calculus of residues calculus of tensors Calculus of Variations calculus of vectors Calcutta Calcutta, University of Caldara, Antonio caldarium Caldas Caldecott, Randolph Calder Calder Hall Calder, A. Stirling Calder, Alexander caldera Caldera Rodríguez, Rafael Calderas Calderdale Calderón Bridge Calderon de la Barca Pedro Calderón de la Barca Pedro Calderón de la Barca, Pedro			calculolytic diet calculolytic diet calculolytic diet calculolytic diet Calculon calculosis calculosis calculosis calculous calculous Calculous Biliary Tract Disease calculous pyelonephritis calculous pyonephrosis calculous pyonephrosis Calculs et Études pour le Bâtiment et l'Industrie Calculs Structures Bois calculus calculus calculus calculus calculus calculus Calculus (dental) Calculus (medicine) Calculus (medicine) Calculus 101 Calculus 101 Calculus 101 Calculus Consortium for Higher Education Calculus for Communicating Shared Resources Calculus of Communicating Systems Calculus of Context-Aware Ambients Calculus of differences calculus of enlargement Calculus of Extension Calculus of finite differences Calculus of functions Calculus of Indexed Names and Named Indices Calculus of Observations Calculus of operations Calculus of probabilities calculus of residues Calculus of sums and differences calculus of tensors calculus of variations calculus of variations calculus of variations Calculus of Variations and Geometric Measure Theory Calculus of vectors Calculus on the Web calculus pocket calculus pocket calculus pocket calculus pocket calculus record calculus record calculus record Calculus Reform and the First Two Years Calculus Remote at the Ohio State University Calculus Resources on-Line Calculus without Tears

Encyclopedia

Free Tools:	For surfers: Free toolbar & extensions \| Word of the Day \| Help For webmasters: Free content \| Linking \| Lookup box \| Double-click lookup

Disclaimer
All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional.