# 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)

Tagged: a

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 […]