The topology of Mazurkiewicz traces.

DOI10.1016/S0304-3975(02)00694-1zbMath1100.68590MaRDI QIDQ1427782

Dietrich Kuske, Ralph Kummetz

Publication date: 14 March 2004

Published in: Theoretical Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Connections of general topology with other structures, applications (54H99)

Related Items

What topology tells us about diagnosability in partial order semantics ⋮ Fixed Points of Endomorphisms and Metrics in preGarside Monoids

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Metric completion versus ideal completion
• On the concatenation of infinite traces
• The poset of infinitary traces
• A metric for traces
• Approximating traces
• Combinatorial problems of commutation and rearrangements
• CONCURRENT AUTOMATA AND DOMAINS
• Partially ordered sets with projections and their topology
• Existence and Uniqueness Theorems for Extensions of Zero-Dimensional Compact Metric Spaces

This page was built for publication: The topology of Mazurkiewicz traces.