A non-interleaving semantics for CCS based on proved transitions (1988)

by G Boudol, I Castellani
Venue:Fundamenta Informaticae