"Event Structure Semantics for CCS and Related Languages."

Glynn Winskel (1982)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics