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

QAV:

>  Home

>  People

>  Projects

>  Publications