• Science • People
Non User
 • Locations • Timeline
Index: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Home > Calculus of Communicating Systems

The Calculus of Communicating Systems (or CCS) is a process calculus developed by Robin Milner. 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 labelled transition system. Between these models, bisimulation is used as a semantic equivalence.

1 See also

2 References

3 External links


Parallel computing

Read more »

Topics: Calculus Of Communicating Systems, See Also, References...

CalculusFor other uses of the term calculus see calculus (disambiguation Calculus is a branch of mathematics, developed from algebra and geometry, involving two major complementary ideas: The first, called differential calculus is a theory about rates of change,Calculus with polynomialsCalculus In mathematics, polynomials are perhaps the simplest functions with which to do calculus. Their derivatives and integrals are given by the following rules: : : Hence the derivative of x100 is 100x99 and the integral of x100 is x101/101 + c. ProofCalculus of variationsCalculus of variations is a field of mathematics which deals with functions of functions, as opposed to ordinary calculus which deals with functions of numbers. Such functionals can for example be formed as integrals involving an unknown function and its
Calculus (dental)In dentistry, calculus or tartar refers to hardened plaque on the teeth, formed by the presence of saliva, debris, and minerals. Its rough surface provides an ideal medium for bacterial growth, threatening the health of the gums and absorbing unaestheticCalculus of a Single Variable: Early Transcendental FunctionsCalculus of a Single Variable: Early Transcendental Functions ISBN 0618223088 is a textbook written by Bruce H. Edwards, Robert P. Hostetler, Ron Larson. The third edition was released in 2001. This is an introductory calculus text. There is a CD-ROM versCalculus of Communicating SystemsThe Calculus of Communicating Systems (or CCS is a process calculus developed by Robin Milner. Its actions model indivisible communications between exactly two participants. The formal language includes primitives for describing parallel composition, choi
Calculus of Broadcasting SystemsCalculus of ConstructionsCalculus ratiocinator
Calculus of negligenceCalculus (disambiguation) 
Non User