Hans Hansson;Fredrik Orava
-;-
CCS with Priority Guards
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory