Developments in concurrent Kleene algebra
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 3902007 (Why is no real title available?)
- scientific article; zbMATH DE number 3735177 (Why is no real title available?)
- scientific article; zbMATH DE number 3562460 (Why is no real title available?)
- scientific article; zbMATH DE number 3621088 (Why is no real title available?)
- scientific article; zbMATH DE number 549971 (Why is no real title available?)
- scientific article; zbMATH DE number 783754 (Why is no real title available?)
- scientific article; zbMATH DE number 873168 (Why is no real title available?)
- scientific article; zbMATH DE number 3366846 (Why is no real title available?)
- A Structural Proof of the Soundness of Rely/guarantee Rules
- A Theory of Communicating Sequential Processes
- A calculus of communicating systems
- A completeness theorem for Kleene algebras and the algebra of regular events
- A language of specified programs
- A program construction and verification tool for separation logic
- Algebraic separation logic
- Algebras for program correctness in Isabelle/HOL
- An axiomatic basis for computer programming
- Automated Reasoning in Higher-Order Regular Algebra
- Completeness theorems for bi-Kleene algebras and series-parallel rational pomset languages
- Concurrent Kleene algebra and its foundations
- Concurrent Kleene algebra with tests
- Denotational semantics and its algebraic derivation for an event-driven system-level language
- Exploring an interface model for CKA
- Formal derivation of concurrent garbage collectors
- Free shuffle algebras in language varieties
- Graphical models of separation logic
- Guarded commands, nondeterminacy and formal derivation of programs
- Infinitary varieties of structures closed under the formation of complex structures
- Internal axioms for domain semirings
- Isabelle/HOL. A proof assistant for higher-order logic
- Kleene algebra with domain
- Laws of programming
- Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language
- Mechanical approach to linking operational semantics and algebraic semantics for Verilog using Maude
- Modal algebra and Petri nets
- Modalities, relations, and learning. A relational interpretation of learning approaches
- On powerdomains and modality
- On the completeness of the inductive assertion method
- Power structures
- Process algebra for synchronous communication
- Programming and automating mathematics in the Tarski-Kleene hierarchy
- Proving that non-blocking algorithms don't block
- Quantales and Temporal Logics
- Refinement Calculus
- Relation algebras
- Relational knowledge discovery.
- Systolic algorithms as programs
- The Logic of Bunched Implications
- The equational theory of pomsets
- The specification statement
- The validity of equations of complex algebras
- Transitive Separation Logic
- Two Complete Axiom Systems for the Algebra of Regular Events
- Varieties of complex algebras
Cited in
(13)- Developments in concurrent Kleene algebra
- scientific article; zbMATH DE number 7649949 (Why is no real title available?)
- A discrete geometric model of concurrent program execution
- Foundations of concurrent Kleene algebra
- A process calculus BigrTiMo of mobile systems and its formal semantics
- A UTP approach for rTiMo
- Brzozowski goes concurrent -- a Kleene theorem for pomset languages
- Contextuality in distributed systems
- scientific article; zbMATH DE number 7559476 (Why is no real title available?)
- Concurrent Kleene Algebra
- scientific article; zbMATH DE number 7204945 (Why is no real title available?)
- Concurrent Kleene algebra and its foundations
- Concurrent Kleene algebra: free model and completeness
This page was built for publication: Developments in concurrent Kleene algebra
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q299202)
