Flow models of distributed computations: three equivalent semantics for CCS (1994)

by Boudol, I Castellani
Venue:Information and Computation