Pages that link to "Item:Q549679"
From MaRDI portal
The following pages link to Concurrent Kleene algebra and its foundations (Q549679):
Displaying 5 items.
- Reordering Derivatives of Trace Closures of Regular Languages. (Q5875402) (← links)
- Weighted synchronous automata (Q5889309) (← links)
- Specifying and reasoning about shared-variable concurrency (Q6535828) (← links)
- On tools for completeness of Kleene algebra with hypotheses (Q6563055) (← links)
- Syllepsis in homotopy type theory (Q6649459) (← links)