Concurrent Kleene Algebra
From MaRDI portal
Recommendations
- Concurrent Kleene algebra and its foundations
- Foundations of concurrent Kleene algebra
- Developments in concurrent Kleene algebra
- Developments in concurrent Kleene algebra
- Probabilistic concurrent Kleene algebra
- scientific article; zbMATH DE number 7204945
- Synchronous Kleene algebra
- Concurrent Kleene algebra with tests
- scientific article; zbMATH DE number 7559476
- Concurrent Kleene algebra: free model and completeness
Cites work
- A calculus of communicating systems
- A completeness theorem for Kleene algebras and the algebra of regular events
- An axiomatic basis for computer programming
- Axioms for memory access in asynchronous hardware systems
- Foundations of concurrent Kleene algebra
- From CRL to mCRL2: motivation and outline
- scientific article; zbMATH DE number 1612485 (Why is no real title available?)
- scientific article; zbMATH DE number 4018370 (Why is no real title available?)
- scientific article; zbMATH DE number 4039251 (Why is no real title available?)
- scientific article; zbMATH DE number 3735177 (Why is no real title available?)
- scientific article; zbMATH DE number 46487 (Why is no real title available?)
- scientific article; zbMATH DE number 46740 (Why is no real title available?)
- scientific article; zbMATH DE number 1216133 (Why is no real title available?)
- scientific article; zbMATH DE number 1086671 (Why is no real title available?)
- scientific article; zbMATH DE number 3995041 (Why is no real title available?)
- scientific article; zbMATH DE number 3245483 (Why is no real title available?)
- scientific article; zbMATH DE number 3366846 (Why is no real title available?)
- Kleene algebra with domain
- Modeling concurrency with partial orders
- Resources, concurrency, and local reasoning
- Semiring-based constraint satisfaction and optimization
- The -calculus: A theory of mobile processes
Cited in
(60)- On series-parallel pomset languages: rationality, context-freeness and automata
- A type checking algorithm for concurrent object protocols
- In praise of algebra
- Completeness and incompleteness of synchronous Kleene algebra
- Concurrent Kleene algebra with observations: from hypotheses to completeness
- A string diagrammatic axiomatisation of finite-state automata
- Learning pomset automata
- An algebra of synchronous atomic steps
- The inner and outer algebras of unified concurrency
- Concurrent Kleene algebra: free model and completeness
- On the relation between concurrent separation logic and concurrent Kleene algebra
- Constructing the views framework
- The laws of programming unify process calculi
- Reverse exchange for concurrency and local reasoning
- On rely-guarantee reasoning
- A discrete geometric model of concurrent program execution
- Equational theories of abnormal termination based on Kleene algebra
- Developments in concurrent Kleene algebra
- Concurrent Kleene algebra with tests and branching automata
- On locality and the exchange law for concurrent processes
- Algebra of monotonic Boolean transformers
- Algebra unifies operational calculi
- Expression-Based Aliasing for OO–languages
- Automated Reasoning in Kleene Algebra
- Foundations of concurrent Kleene algebra
- On the algebraic structure of Weihrauch degrees
- Probabilistic concurrent Kleene algebra
- Completeness for identity-free Kleene lattices
- Probabilistic rely-guarantee calculus
- Non-wellfounded proof theory for (Kleene+action)(algebras+lattices)
- Convolution and concurrency
- scientific article; zbMATH DE number 7559476 (Why is no real title available?)
- Brzozowski goes concurrent -- a Kleene theorem for pomset languages
- scientific article; zbMATH DE number 7204945 (Why is no real title available?)
- Equivalence checking for weak bi-Kleene algebra
- Concurrent dynamic algebra
- Mitigating covert channels based on analysis of the potential for communication
- Mathematics of Program Construction
- Developments in concurrent Kleene algebra
- Concurrent Kleene algebra with tests
- Using Probabilistic Kleene Algebra for Protocol Verification
- Algebraic separation logic
- Concurrent Kleene algebra and its foundations
- Kleene algebra with observations
- A Finite Axiomatisation of Finite-State Automata Using String Diagrams
- Parallelized sequential composition and hardware weak memory models
- Concurrent NetKAT. Modeling and analyzing stateful, concurrent networks
- A fine-grained semantics for arrays and pointers under weak memory models
- Concurrent algebras: an algebraic study of a fragment of concurrent propositional dynamic logic
- Specifying and reasoning about shared-variable concurrency
- Shades of iteration: from Elgot to Kleene
- An elementary proof of the FMP for Kleene algebra
- Pomsets with boxes: protection, separation, and locality in concurrent Kleene algebra
- Automating memory model metatheory with intersections
- Image reflection on process graphs of 1-free regular expressions modulo bisimilarity
- A proof theory of right-linear ( -)grammars via cyclic proofs
- Irrationality of process replication for higher-dimensional automata
- Synchronous Kleene algebra
- A complete diagrammatic calculus for automata simulation
- Kleene algebra with commutativity conditions is undecidable
This page was built for publication: Concurrent Kleene Algebra
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3184688)
