The following pages link to A metric for traces (Q911785):
Displaying 14 items.
- What topology tells us about diagnosability in partial order semantics (Q351726) (← links)
- Fixed points of endomorphisms of trace monoids. (Q467531) (← links)
- On the concatenation of infinite traces (Q685439) (← links)
- The poset of infinitary traces (Q689293) (← links)
- Infinite traces and symbolic dynamics (Q841627) (← links)
- Deterministic asynchronous automata for infinite traces (Q1338892) (← links)
- Infinite concurrent systems. I: The relationship between metric and order convergence (Q1346609) (← links)
- The topology of Mazurkiewicz traces. (Q1427782) (← links)
- Resource traces: A domain for processes sharing exclusive resources. (Q1605180) (← links)
- Fixed Points of Endomorphisms and Metrics in preGarside Monoids (Q2815418) (← links)
- Symbolic Dynamics, Flower Automata and Infinite Traces (Q3073631) (← links)
- A domain for concurrent termination a generalization of Mazurkiewicz traces (Q4645163) (← links)
- Poset properties of complex traces (Q5096837) (← links)
- Asynchronous cellular automata for infinite traces (Q5204349) (← links)
