Models for concurrency. Handout at the (1993)

by G Winskel, M Nielsen
Venue:TEMPUS Summer School on Algebraic and Categorical Methods in Computer Science