U.: Towards the unification of models for concurrency (1990)

by G L Ferrari, Montanari
Venue:In: Trees in Algebra and Programming