Oxford logo
[KP95] M. Kwiatkowska and I. Phillips. Possible and Guaranteed Concurrency in CSP. In Proc. Structures in Concurrency Theory, Workshops in Computing, pages 220-235, Springer. 1995. [ps.gz] [bib]
Downloads:  ps.gz ps.gz (55 KB)  bib bib
Notes: The original publication is available at www.springerlink.com.

QAV:

Home

People

Projects

Publications