Pages that link to "Item:Q3651515"
From MaRDI portal
The following pages link to Foundations of Concurrent Kleene Algebra (Q3651515):
Displayed 7 items.
- Concurrent Kleene algebra with tests and branching automata (Q299205) (← links)
- Mitigating covert channels based on analysis of the potential for communication (Q530557) (← links)
- Algebraic separation logic (Q549676) (← links)
- Concurrent Kleene algebra and its foundations (Q549679) (← links)
- Extended transitive separation logic (Q2347905) (← links)
- On Locality and the Exchange Law for Concurrent Processes (Q3090834) (← links)
- Concurrent Kleene Algebra (Q3184688) (← links)