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.
... read more