Pages that link to "Item:Q685439"
From MaRDI portal
The following pages link to On the concatenation of infinite traces (Q685439):
Displaying 6 items.
- Logical definability on infinite traces (Q672860) (← links)
- The topology of Mazurkiewicz traces. (Q1427782) (← links)
- Resource traces: A domain for processes sharing exclusive resources. (Q1605180) (← links)
- Topological aspects of traces (Q4633178) (← links)
- A domain for concurrent termination a generalization of Mazurkiewicz traces (Q4645163) (← links)
- RECOGNIZABLE AND LOGICALLY DEFINABLE LANGUAGES OF INFINITE COMPUTATIONS IN CONCURRENT AUTOMATA (Q5248980) (← links)