Oxford logo
[BK91] B. Bloom and M. Kwiatkowska. Trade-Offs in True Concurrency: Pomsets and Mazurkiewicz Traces. In Proc. 7th International Conference on Mathematical Foundations of Programming Semantics (MFPS'91), pages 350-375, Springer. 1991. [bib] http://www.springerlink.com/content/p127357t6254665n/
Downloads:  bib bib
Notes: The original publication is available at link.springer.com.
Links: [Google] [Google Scholar] [CiteSeer]
Available from: http://www.springerlink.com/content/p127357t6254665n/

QAV:

>  Home

>  People

>  Projects

>  Publications