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