Axiomatizing the algebra of net computations and processes - Degano, Pierpaolo 1950-; Meseguer, José; Montanari, Ugo 1943- (Università degli Studi <Pisa> / Dipartimento di Informatica: Technical report, 1991)