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:

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



Disclaimer: Algebra of communicating processes 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.