Pages that link to "Item:Q3975164"
From MaRDI portal
The following pages link to Characterization of recognizable trace languages by distributed automata (Q3975164):
Displaying 5 items.
- Efficient recognition of trace languages defined by repeat-until loops (Q989291) (← links)
- Recognizable trace languages, distributed automata and the distribution problem (Q1323363) (← links)
- Classifying recognizable infinitary trace languages using word automata (Q2407086) (← links)
- An Automata-Theoretical Characterization of Context-Free Trace Languages (Q3075533) (← links)
- FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science (Q5465887) (← links)