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)
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
- Caldarium
(in an ancient Roman bath) a room having a hot bath. Historical Examples Pompeii, Its Life and Art August Mau Museum of Antiquity L. W. Yaggy Pompeii, Its Life and Art August Mau Quintus Claudius, Volume 2 of 2 Ernst Eckstein De Re Metallica Georgius Agricola De Re Metallica Georgius Agricola Pompeii, Its Life and […]