What people are saying - Write a review
We haven't found any reviews in the usual places.
The Algebra of Recursively Defined Processes and the Algebra
J A Bergstra and J W Klop 1
J F Groote and A Ponse 26
12 other sections not shown
Other editions - View all
abstract Algebraic Specification Alternating Bit Protocol alternative composition aprACP atomic actions axioms bisimulation bisimulation equivalence Bool boolean CABP communication function component contains data types data-term decidable Definition denote eel eel equations finitely branching formal func guarded recursion iCRL identity implementation in(d interworkings isomorphism J.A. Bergstra J.C.M. Baeten J.F. Groote leader lemma merge node operational semantics parallel composition parameters PendingSet phase PidSet Ponse primitive recursive primitive recursive function process algebra process expressions process graphs Process-exp Programming Research Group Proof Proposition real time process recursive specification rem(d renaming operators rewrite sequence sequential composition set induction signature Simone languages size(b sort SSC w.r.t. Sig(E summand syntax Table term rewriting system test(d Theorem timeout timer transition UNITY Format University of Amsterdam Utrecht University variables verification WaitingSet Wamel well-formed specification xCRL