Now showing items 1-1 of 1

    • Trade-offs in True Concurrency: Pomsets and Mazurkiewicz Traces 

      Bloom, Bard; Kwiatkowska, Marta (Cornell University, 1991-08)
      We compare finite pomsets and Mazurkiewicz traces, two models of true concurrency which generalize strings. We show that Mazurkiewicz traces are equivalent to a restricted class of pomsets. The restrictions lead to extra ...