@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
}