@InProceedings{KP94,
author={M. Kwiatkowska and I. Phillips},
title={Concurrency and Conflict in CSP},
booktitle={Proc. 1st Imperial College Department of Computing Workshop on Theory and Formal Methods, Workshops in Computing},
year={1994},

editor={},
pages={209-225},
organization={},
publisher={Springer},
series={},
volume={},
address={},
month={},
note={},
key={}
}