Pierpaolo Degano;Rocco De Nicola;Ugo Montanari
-;-;-
Observational trees as models for concurrency
Mathematical Structures in Computer Science