BMACP

Abstract

A new axiom system BMACP combines the axiom systems BMA (basic module algebra) and ACP (algebra of communicating processes) in such a way that the addition operator (+) which stands for module combination in BMA and for alternative composition of processes in ACP are both realised by the same operator (+) in BMACP. A closed process-module expression in BMACP denotes a process together with a specification of some auxiliary processes and all of these may be parametrised by some other processes. This paper was written in honour of J.W. de Bakker on the occasion of the 25th anniversary of his association with the CWI. This work has been sponsored in part by ESPRIT project 432 METEOR