Axiomatizing the algebra of net computations and processes

• 1 October 1996
• journal article
• research article
• Published by Springer Nature in Acta Informatica
• Vol. 33  (7) , 641-667
• https://doi.org/10.1007/s002360050064

Abstract

Keywords

• NATURAL ISOMORPHISM
• MONOIDAL CATEGORY
• SEQUENTIAL COMPOSITION
• PARALLEL COMPOSITION
• CONGRUENCE CLASS