Axiomatizing the algebra of net computations and processes (1996)

by P Degano, J Meseguer, U Montanari
Venue:Acta Informatica