Calculus of communicating systems
- Calculus of communicating systems
The Calculus of Communicating Systems (CCS) is a process calculus introduced by Robin Milner in around 1980. Its actions model indivisible communications between exactly two participants. The formal language includes primitives for describing parallel composition, choice between actions and scope restriction.
According to Milner, "There is nothing canonical about the choice of the basic combinators, even though they were chosen with great attention to economy. What characterises our calculus is not the exact choice of combinators, but rather the choice of interpretation and of mathematical framework".
The expressions of the language are interpreted as a labelled transition system. Between these models, bisimulation is used as a semantic equivalence.
Related calculi and models
* Communicating Sequential Processes (CSP), developed by Tony Hoare, is a language that arose at a similar time to CCS.
* The pi-calculus, developed by Milner in the late 80's, provides mobility of communication links by allowing processes to communicate the names of communication channels themselves.
Some other languages based on CCS:
* Calculus of Broadcasting Systems
* Language Of Temporal Ordering Specification (LOTOS)
Models that have been used in the study of CCS-like systems:
* History monoid
* Actor model
References
* Robin Milner: "A Calculus of Communicating Systems", Springer Verlag, ISBN 0-387-10235-3. 1980.
* Robin Milner, "Communication and Concurrency", Prentice Hall, International Series in Computer Science, ISBN 0-131-15007-3. 1989
External links
* [http://citeseer.org/cs?q=Calculus+and+Communicating+and+Systems Citations from CiteSeer]
Wikimedia Foundation.
2010.
Look at other dictionaries:
Calculus of Broadcasting Systems — (CBS) is a CCS like calculus where processes speak one at a time and each is heard instantaneously by all others. Speech is autonomous, contention between speakers being resolved nondeterministically, but hearing only happens when someone else… … Wikipedia
Communicating sequential processes — In computer science, Communicating Sequential Processes (CSP) is a formal language for describing patterns of interaction in concurrent systems.[1] It is a member of the family of mathematical theories of concurrency known as process algebras, or … Wikipedia
Process calculus — In computer science, the process calculi (or process algebras) are a diverse family of related approaches to formally modelling concurrent systems. Process calculi provide a tool for the high level description of interactions, communications, and … Wikipedia
π-calculus — In theoretical computer science, the π calculus (or pi calculus) is a process calculus originally developed by Robin Milner, Joachim Parrow and David Walker as a continuation of work on the process calculus CCS (Calculus of Communicating Systems) … Wikipedia
Pi-calculus — In theoretical computer science, the pi calculus is a process calculus originally developed by Robin Milner, Joachim Parrow and David Walker as a continuation of work on the process calculus CCS (Calculus of Communicating Systems). The aim of the … Wikipedia
Calculus (disambiguation) — Calculus is Latin for pebble, and has a number of meanings in English: In mathematics and computer science Calculus , in its most general sense, is any method or system of calculation. To modern theoreticians the answer to the question what is a… … Wikipedia
Actor model and process calculi history — The Actor model and process calculi share an interesting history and co evolution.Early workThe Actor model, first published in 1973, [Carl Hewitt, Peter Bishop and Richard Steiger. A Universal Modular Actor Formalism for Artificial Intelligence… … Wikipedia
Actor model — In computer science, the Actor model is a mathematical model of concurrent computation that treats actors as the universal primitives of concurrent digital computation: in response to a message that it receives, an actor can make local decisions … Wikipedia
Concurrent computing — Programming paradigms Agent oriented Automata based Component based Flow based Pipelined Concatenative Concurrent c … Wikipedia
Robin Milner — Infobox Scientist name = Robin Milner image width = 150px caption = birth date = 1934 birth place = Plymouth, England death date = death place = residence = citizenship = nationality = ethnicity = field = Computer Science work institution =… … Wikipedia
