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 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 quant-ty in an algebraic equation. jerome, a poor man mary e. […]
- Algebraic extension
a field containing a given field such that every element in the first field is algebraic over the given field.