# Calculus-of-communicating-systems

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

(1994-11-29)

Tagged: c

Read Also:

- Calculus-of-pleasure
hedonic calculus. (in utilitarianism) appraisal of possible alternative choices in terms of the amount of pleasure to be gained and pain to be avoided in each.

- Calculus-of-variations
the branch of mathematics that deals with the problem of finding a curve or surface that maximizes or minimizes a given expression, usually with several restrictions placed on the desired curve. noun a branch of calculus concerned with maxima and minima of definite integrals calculus of variations Mathematical analysis of the maxima and minima of […]

- Calcutta
a seaport in and the capital of West Bengal state, in E India, on the Hooghly River: former capital of British India. (sometimes lowercase). Also called Calcutta pool. a form of betting pool for a competition or tournament, as golf or auto racing, in which gamblers bid for participating contestants in an auction, the proceeds […]

- Calcutta-cup
noun (rugby Union) a trophy competed for annually by England and Scotland since 1879