A metric for traces

DOI10.1016/0020-0190(90)90061-2zbMath0697.68071OpenAlexW2078069315MaRDI QIDQ911785

Marta Kwiatkowska

Publication date: 1990

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(90)90061-2

zbMATH Keywords

metric spacestopologypartial order semanticssemanticsconcurrencynoninterleaving

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55) Theory of operating systems (68N25)

Related Items (16)

Deterministic asynchronous automata for infinite traces ⋮ Infinite traces and symbolic dynamics ⋮ Infinite concurrent systems. I: The relationship between metric and order convergence ⋮ What topology tells us about diagnosability in partial order semantics ⋮ Poset properties of complex traces ⋮ Trade-offs in true concurrency: Pomsets and mazurkiewicz traces ⋮ The topology of Mazurkiewicz traces. ⋮ Fixed points of endomorphisms of trace monoids. ⋮ A domain for concurrent termination a generalization of Mazurkiewicz traces ⋮ On the concatenation of infinite traces ⋮ The poset of infinitary traces ⋮ A projective formalism applied to topological and probabilistic event structures ⋮ Asynchronous cellular automata for infinite traces ⋮ Symbolic Dynamics, Flower Automata and Infinite Traces ⋮ Fixed Points of Endomorphisms and Metrics in preGarside Monoids ⋮ Resource traces: A domain for processes sharing exclusive resources.

Cites Work

• Event fairness and non-interleaving concurrency
• Adherences of languages
• Processes and the denotational semantics of concurrency
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A metric for traces