Stefano Kasangian;Anna Labella;Alberto Pettorossi
-;-;-
Observational trees as models for concurrency
Mathematical Structures in Computer Science