The following pages link to The poset of infinitary traces (Q689293):
Displayed 7 items.
- On the concatenation of infinite traces (Q685439) (← links)
- The poset of infinitary traces (Q689293) (← links)
- An extension of Kleene's and Ochmański's theorems to infinite traces (Q1318685) (← links)
- Deterministic asynchronous automata for infinite traces (Q1338892) (← links)
- The word problem for \(1\mathcal{LC}\) congruences is NP-hard. (Q1426452) (← links)
- The topology of Mazurkiewicz traces. (Q1427782) (← links)
- Resource traces: A domain for processes sharing exclusive resources. (Q1605180) (← links)