Document Versions

Relations in Concurrency –Glynn Winskel
Models for Concurrency –Glynn Winskel, Mogens Nielsen — 1993