A distributed operational semantics for CCS based on condition/event systems (1988)

by P Degano, R De Nicola, U Montanari
Venue:Acta Inform