Models for concurrency (1995)

by G Winskel, M Nielsen
Venue:Handbook of Logic in Computer Science