Pages that link to "Item:Q2324010"
From MaRDI portal
The following pages link to Concurrent Kleene algebra: free model and completeness (Q2324010):
Displaying 20 items.
- Developments in concurrent Kleene algebra (Q299202) (← links)
- Concurrent Kleene algebra with tests and branching automata (Q299205) (← links)
- Concurrent Kleene algebra and its foundations (Q549679) (← links)
- On series-parallel pomset languages: rationality, context-freeness and automata (Q1734519) (← links)
- Completeness and incompleteness of synchronous Kleene algebra (Q2176687) (← links)
- A string diagrammatic axiomatisation of finite-state automata (Q2233427) (← links)
- Learning pomset automata (Q2233430) (← links)
- On the relation between concurrent separation logic and concurrent Kleene algebra (Q2347904) (← links)
- Concurrent Kleene Algebra (Q3184688) (← links)
- Completeness for Identity-free Kleene Lattices (Q5009432) (← links)
- (Q5089285) (← links)
- Generating Posets Beyond N (Q5098715) (← links)
- (Q5111642) (← links)
- (Q5155681) (← links)
- Tree automata as algebras: minimisation and determinisation (Q5875346) (← links)
- (Q5875403) (← links)
- A Finite Axiomatisation of Finite-State Automata Using String Diagrams (Q5883739) (← links)
- A complete inference system for skip-free guarded Kleene algebra with tests (Q6535242) (← links)
- Kleene theorems for lasso languages and \(\omega \)-languages (Q6636074) (← links)
- On star expressions and completeness theorems (Q6653760) (← links)