The power of priority channel systems (2013)

by S Schmitz Haase, Ph Schnoebelen
Venue:In Proc. CONCUR 2013