CCS with Priority Choice (1991)

by J Camilleri, G Winskel
Venue:In Sixth Annual IEEE Symposium on Logic in Computer Science