scientific article; zbMATH DE number 18653

zbMATH Open0744.68048MaRDI QIDQ3976059FDOQ3976059

Authors: Marta Kwiatkowska 

Publication date: 26 June 1992

Title of this publication is not available (Why is that?)

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

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)

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
• Trade-offs in true concurrency: Pomsets and mazurkiewicz traces
• Topological aspects of 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)