Event structure semantics for CCS and related languages (1982)

by Glynn Winskel , Glynn Winskel
Venue:Computer Science Department, Aarhus University
Citations:76 - 16 self