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

DOI10.1007/BF03259393zbMath0829.68054DBLPjournals/fac/Stannett94WikidataQ57691266 ScholiaQ57691266MaRDI QIDQ1346609

Mike Stannett

Publication date: 6 April 1995

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

zbMATH Keywords

trace spaceMazurkiewicz trace theory

Mathematics Subject Classification ID

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

Cites Work

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

This page was built for publication: Infinite concurrent systems. I: The relationship between metric and order convergence