Priorities in process algebras (1990)

by Rance Cleaveland, Matthew Hennessy
Venue:Information and Computation