Models for concurrency (1995)

by Mogens Nielsen, Glynn Winskel
Venue:Handbook of Logic in Computer Science, volume 4, chapter Models for Concurrency