Pages that link to "Item:Q2200836"
From MaRDI portal
The following pages link to Concurrent Kleene algebra with observations: from hypotheses to completeness (Q2200836):
Displaying 6 items.
- Axiomatizing recursion-free, regular monitors (Q2141297) (← links)
- On tools for completeness of Kleene algebra with hypotheses (Q2695367) (← links)
- Generating Posets Beyond N (Q5098715) (← links)
- A complete inference system for skip-free guarded Kleene algebra with tests (Q6535242) (← links)
- On tools for completeness of Kleene algebra with hypotheses (Q6563055) (← links)
- Completeness theorems for Kleene algebra with tests and top (Q6635510) (← links)
