Models for concurrency (1995)

by G Winskel, M Nielsen
Venue:In Handbook of Logic in Computer Science (Vol. 4): Semantic Modelling