Trade-Offs in True Concurrency: Pomsets and Mazurkiewicz Traces

  title={Trade-Offs in True Concurrency: Pomsets and Mazurkiewicz Traces},
  author={Bard Bloom and Marta Z. Kwiatkowska},
In the last two decades, a variety of models of concurrency have been proposed, covering a wide spectrum of powers of description, abstraction and precision. There are probably models well-sulted for most problems that people encounter in practice. However, this theoretical wealth is in some disarray. The relations between models are not well understood. Ideally, there should be some grand catalog of models, complete with domains of appropriate use and relations to other models. This paper… CONTINUE READING