Pages that link to "Item:Q2200836"
From MaRDI portal
The following pages link to Concurrent Kleene algebra with observations: from hypotheses to completeness (Q2200836):
Displayed 5 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)
- Concurrent NetKAT. Modeling and analyzing stateful, concurrent networks (Q6166804) (← links)
- DyNetKAT: an algebra of dynamic networks (Q6181928) (← links)