Oxford logo
[KP94] M. Kwiatkowska and I. Phillips. Concurrency and Conflict in CSP. In Proc. 1st Imperial College Department of Computing Workshop on Theory and Formal Methods, Workshops in Computing, pages 209-225, Springer. 1994. [ps.gz] [bib]
Downloads:  ps.gz ps.gz (60 KB)  bib bib
Notes: The original publication is available at www.springerlink.com.

QAV:

Home

People

Projects

Publications