Algebra of Communicating Processes (ACP)tau: A Universal Axiom System for Process Specification

摘要

Starting with Basic Process Algebra (BPA), an axiom system for alternative composition (+) and sequential composition (x) of processes, a presentation in several intermediate stages leading to ACP tau, Algebra of Communicating Processes with abstraction is given. At each successive stage an example showing that the specification power is increased is presented. Graph models for the respective axiom systems are informally presented. The finite specification theorem for ACP tau, stating that each finitely branching, effectively presented process (as an element of the graph model) can be specified in ACP tau by means of a finite system of guarded recursion equations, is outlined.