Axiomatizing the algebra of net computations and processes Pierpaolo DeganoJosé MeseguerUgo Montanari Pages: 641 - 667