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 link.springer.com.
Links: [Google] [Google Scholar] [CiteSeer]

QAV:

>  Home

>  People

>  Projects

>  Publications