The following pages link to (Q4381401):
Displayed 15 items.
- Concurrent Kleene algebra with tests and branching automata (Q299205) (← links)
- Series-parallel languages on scattered and countable posets (Q533879) (← links)
- Asynchronous cellular automata for pomsets (Q1583242) (← links)
- Axiomatizing the subsumption and subword preorders on finite and infinite partial words (Q1605337) (← links)
- Reachability analysis of reversal-bounded automata on series-parallel graphs (Q1741900) (← links)
- Rationality in algebras with a series operation (Q1854484) (← links)
- Towards a language theory for infinite N-free pomsets. (Q1874399) (← links)
- Nested-unit Petri nets (Q2423743) (← links)
- Retractions onto series-parallel posets (Q2483392) (← links)
- Complementation of Branching Automata for Scattered and Countable Series-Parallel Posets (Q2817372) (← links)
- Logic and Bounded-Width Rational Languages of Posets over Countable Scattered Linear Orderings (Q3605520) (← links)
- Complementation of Branching Automata for Scattered and Countable N-Free Posets (Q4683231) (← links)
- (Q5111639) (← links)
- Confluent Hasse Diagrams (Q5895511) (← links)
- Logic and rational languages of scattered and countable series-parallel posets (Q5919278) (← links)