The following pages link to Concurrent Kleene Algebra (Q3184688):
Displaying 34 items.
- Developments in concurrent Kleene algebra (Q299202) (← links)
- 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)
- Concurrent algebras: an algebraic study of a fragment of concurrent propositional dynamic logic (Q647319) (← 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)
- Completeness and incompleteness of synchronous Kleene algebra (Q2176687) (← links)
- A string diagrammatic axiomatisation of finite-state automata (Q2233427) (← links)
- Learning pomset automata (Q2233430) (← links)
- Concurrent Kleene algebra: free model and completeness (Q2324010) (← links)
- On the relation between concurrent separation logic and concurrent Kleene algebra (Q2347904) (← 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)
- (Q5089285) (← links)
- (Q5111639) (← links)
- (Q5111642) (← links)
- (Q5155681) (← links)
- (Q5875403) (← links)
- A Finite Axiomatisation of Finite-State Automata Using String Diagrams (Q5883739) (← links)
- Parallelized sequential composition and hardware weak memory models (Q6045051) (← links)
- Specifying and reasoning about shared-variable concurrency (Q6535828) (← links)
- Shades of iteration: from Elgot to Kleene (Q6562517) (← links)
