## Algebraic theory of processesAlgebraic Theory of Processes provides the first general and systematic introduction to the semantics of concurrent systems, a relatively new research area in computer science. |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Common terms and phrases

27-homomorphism 27-predomain 4-assignment abstract with respect Acceptance sets Acceptance Trees algebraic cpo alternative characterization aNIL apply arbitrary arity axiom bNIL CL(t cNIL coincides compact element complete proof system complete with respect continuous function corollary defined definition derived directed set example finite elements follows FREC fully abstract function symbol homomorphism iA(t implies infinite input internal interpretation intuitive isomorphic labeled transition system least element least fixpoint lemma machine monotonic Musr node nondeterministic normal form notation obtain operational semantics output pA(t partial order particular prefix-closed processes proposition prove rDED(E rec x.ax rec y.ay recursive terms recx.t relation represents result rule satisfies set of equations set of inequations signature SMUST sound and complete structural induction subset Substitution lemma surjective syntactic term algebra Testing preorders theorem trivial unique variables Z-domain Z-po algebra