Dictionary: 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


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


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

Disclaimer: Calculus-of-communicating-systems definition / meaning 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. All content on this website is for informational purposes only.