Observational trees as models for concurrency

Stefano Kasangian, Anna Labella. Observational trees as models for concurrency. Mathematical Structures in Computer Science, 9(6):687-718, 1999.

Abstract

Abstract is missing.