Pages that link to "Item:Q299205"
From MaRDI portal
The following pages link to Concurrent Kleene algebra with tests and branching automata (Q299205):
Displaying 11 items.
- Synchronous Kleene algebra (Q710676) (← links)
- On series-parallel pomset languages: rationality, context-freeness and automata (Q1734519) (← links)
- Symbolic algorithms for language equivalence and Kleene algebra with tests (Q2819822) (← links)
- Position Automata for Kleene Algebra with Tests (Q4621165) (← links)
- Generating Posets Beyond N (Q5098715) (← links)
- (Q5111639) (← links)
- (Q5111642) (← links)
- (Q5155681) (← links)
- (Q5875403) (← links)
- Weighted synchronous automata (Q5889309) (← links)
- Closure and decision properties for higher-dimensional automata (Q6605362) (← links)