Pages that link to "Item:Q5492900"
From MaRDI portal
The following pages link to Mathematical Foundations of Computer Science 2005 (Q5492900):
Displayed 7 items.
- A geometric view of partial order reduction (Q265807) (← links)
- Asynchronous trace-matching automata (Q466372) (← links)
- Compositional synthesis of asynchronous automata (Q551202) (← links)
- A counterexample to Thiagarajan's conjecture on regular event structures (Q2186822) (← links)
- Distributed Asynchronous Automata (Q3184669) (← links)
- MSO Logic for Unambiguous Shared-Memory Systems (Q3533037) (← links)
- Semantics of Deterministic Shared-Memory Systems (Q3541010) (← links)