@inproceedings{KP95,
   author = {M.Z. Kwiatkowska and I.C.C. Phillips},
   title = {Possible and Guaranteed Concurrency in {CSP}},
   booktitle = {Proceedings of the International Workshop on Structures in
Concurrency Theory (STRICT), May 1995, Berlin-Mitte},
   series = {Workshops in Computing},
   publisher = {Springer-Verlag},
   pages = {220-235},
   year = 1995
}