Algebra of communicating processes
algebra of communicating processes
theory
(ACP)
Compare CCS.
[“Algebra of Communicating Processes with Abstraction”, J.A. Bergstra & J.W. Klop, Theor Comp Sci 37(1):77-121 1985].
[Summary?]
(1994-11-08)
Read Also:
- Algebra of sets
a nonempty collection of sets having the property that the union of two sets of the collection is a set of the collection and the complement of each set of the collection is a set in the collection.
- Algebraic
of, occurring in, or utilizing . Mathematics. of or relating to an element that is the root of a polynomial equation with coefficients from some given field: is algebraic over the field of real numbers. using arbitrary letters or symbols in place of the letters, symbols, or numbers of an actual application. Historical Examples It […]
- Algebraic compiler and translator
algebraic compiler and translator language (ACT 1) A language and compiler for the Royal McBee LGP-30, designed around 1959, apparently by Clay S. Boswell, Jr, and programmed by Mel Kaye. (http://ed-thelen.org/comp-hist/lgp-30-man.html) (2008-08-04)
- Algebraic data type
algebraic data type programming (Or “sum of products type”) In functional programming, new types can be defined, each of which has one or more constructors. Such a type is known as an algebraic data type. E.g. in Haskell we can define a new type, “Tree”: data Tree = Empty | Leaf Int | Node Tree […]
- Algebraic equation
an equation in the form of a polynomial having a finite number of terms and equated to zero, as 2 x 3 + 4 x 2 − x + 7 = 0. Historical Examples He felt as he had when puzzling over the unknown quantity in an algebraic equation. Jerome, A Poor Man Mary E. […]