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]
Downloads:  bib bib
Notes: The original publication is available at www.springerlink.com.

QAV:

Home

People

Projects

Publications