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