@inproceedings{Phi01, author = {I.C.C. Phillips}, title = {{CCS} with priority guards}, booktitle = {Proceedings of 12th International Conference on Concurrency Theory, {CONCUR} 2001}, series = {Lecture Notes in Computer Science}, publisher = {Springer-Verlag}, volume = 2154, pages = {305-320}, year = 2001 }