CCS with priority choice (1995)

by J Camilleri, G Winskel
Venue:Information and Computation