Skip to main content
Article thumbnail
Location of Repository


By J.A. Bergstra and J.W. Klop


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

Topics: Wijsbegeerte
Year: 1989
OAI identifier:
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.