Models for concurrency (1994)

by G Winskel, M Nielsen
Venue:In Semantic Modelling