scientific article; zbMATH DE number 18653

MaRDI QIDQ3976059zbMATH OpenFDO

Authors Marta Kwiatkowska

Publication date 26 June 1992

zbMATH Keywords

fairnessMazurkiewicz tracesnon-interleaving concurrency

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55)

Recommendations

• Event fairness and non-interleaving concurrency
• scientific article; zbMATH DE number 4096758
• A fair calculus of communicating systems
• Fairness and conspiracies
• scientific article; zbMATH DE number 39877

Cited in

(6)

• A compositional framework for fault tolerance by specification transformation
• Event fairness and non-interleaving concurrency
• An extension of Kleene's and Ochmański's theorems to infinite traces
• On equivalence-completions of fairness assumptions
• Topological aspects of traces
• Trade-offs in true concurrency: Pomsets and mazurkiewicz traces

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3976059)