The following pages link to (Q5111642):
Displayed 7 items.
- On series-parallel pomset languages: rationality, context-freeness and automata (Q1734519) (← links)
- On tools for completeness of Kleene algebra with hypotheses (Q2695367) (← links)
- (Q5111642) (← links)
- (Q5155681) (← links)
- (Q5875344) (← links)
- (Q5875403) (← links)
- Concurrent NetKAT. Modeling and analyzing stateful, concurrent networks (Q6166804) (← links)