The following pages link to Concurrent Kleene Algebra (Q3184688):
Displaying 24 items.
- Concurrent Kleene algebra with tests and branching automata (Q299205) (← links)
- Probabilistic rely-guarantee calculus (Q507375) (← 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)
- Synchronous Kleene algebra (Q710676) (← links)
- On series-parallel pomset languages: rationality, context-freeness and automata (Q1734519) (← links)
- A type checking algorithm for concurrent object protocols (Q1785846) (← links)
- In praise of algebra (Q1941861) (← links)
- A string diagrammatic axiomatisation of finite-state automata (Q2233427) (← links)
- Learning pomset automata (Q2233430) (← links)
- Constructing the Views Framework (Q2814615) (← links)
- The Laws of Programming Unify Process Calculi (Q2908555) (← links)
- On Rely-Guarantee Reasoning (Q2941165) (← links)
- Algebra of Monotonic Boolean Transformers (Q3098056) (← links)
- Algebra Unifies Operational Calculi (Q3455645) (← links)
- Expression-Based Aliasing for OO–languages (Q3460212) (← links)
- On the algebraic structure of Weihrauch degrees (Q4553287) (← links)
- Completeness for Identity-free Kleene Lattices (Q5009432) (← links)
- (Q5079743) (← links)
- (Q5111639) (← links)
- (Q5155681) (← links)
- (Q5875403) (← links)
- A Finite Axiomatisation of Finite-State Automata Using String Diagrams (Q5883739) (← links)
