Infinite concurrent systems. I: The relationship between metric and order convergence

DOI10.1007/BF03259393zbMath0829.68054WikidataQ57691266 ScholiaQ57691266MaRDI QIDQ1346609

Mike Stannett

Publication date: 6 April 1995

Published in: Formal Aspects of Computing (Search for Journal in Brave)

zbMATH Keywords

trace space; Mazurkiewicz trace theory

Mathematics Subject Classification ID

68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)

68Q55: Semantics in the theory of computing

Cites Work

• Event fairness and non-interleaving concurrency
• A metric for traces
• Unnamed Item
• Unnamed Item