Event structure semantics for CCS and related languages (1982)

by Glynn Winskel, Glynn Winskel
Venue:Computer Science Department, Aarhus University