Axiomatizing the algebra of net computations and processes - Degano, Pierpaolo 1950-; Meseguer, José; Montanari, Ugo 1943- (Computer Science Laboratory <Menlo Park, Calif.>: SRI-CSL, 1990)