Categories for model of concurrency,” in (1994)

by G Winskel
Venue:Lecture Notes in Computer Science,