scientific article; zbMATH DE number 1555176

MaRDI QIDQ4525274zbMATH OpenFDO

Authors J. A. Bergstra, Inge Bethke, Alban Ponse

Publication date 22 January 2001

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 3958712
• scientific article; zbMATH DE number 1222107
• scientific article; zbMATH DE number 683368
• Process algebra for synchronous communication
• scientific article; zbMATH DE number 4016181

Cited in

(30)

• A note on an expressiveness hierarchy for multi-exit iteration
• A complete equational axiomatization for MPA with string iteration
• A complete equational axiomatization for prefix iteration
• An equational axiomatization for multi-exit iteration
• Nonaxiomatisability of equivalences over finite state processes
• A general conservative extension theorem in process algebras with inequalities
• Termination modulo equations by abstract commutation with an application to iteration
• Two finite specifications of a queue
• Equivalence of recursive specifications in process algebra
• Process algebra with action dependencies
• The max-plus algebra of the natural numbers has no finite equational basis
• Branching time and orthogonal bisimulation equivalence
• scientific article; zbMATH DE number 992012 (Why is no real title available?)
• scientific article; zbMATH DE number 3958712 (Why is no real title available?)
• scientific article; zbMATH DE number 4037177 (Why is no real title available?)
• A process calculus with finitary comprehended terms
• scientific article; zbMATH DE number 683368 (Why is no real title available?)
• Axiomatizations for the perpetual loop in process algebra
• scientific article; zbMATH DE number 7319030 (Why is no real title available?)
• Problem solving using process algebra considered insightful
• An algebraic semantics for hierarchical P/T nets
• Using Hoare logic in a process algebra setting
• Fixing Zeno gaps
• Concurrent Kleene algebra and its foundations
• The \(\pi\)-calculus is behaviourally complete and orbit-finitely executable
• Bochvar-McCarthy logic and process algebra
• Non-regular iterators in process algebra
• The parallel composition of uniform processes with data
• A generalization of ACP using Belnap's logic
• Execution architectures for program algebra

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4525274)