Concurrent Kleene algebra with tests

DOI10.1007/978-3-319-06251-8_3MaRDI QIDQ5410476zbMATH OpenOpenAlexFDO

Authors Peter Jipsen

Publication date 16 April 2014

Published in Relational and Algebraic Methods in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-06251-8_3

zbMATH Keywords

concurrent Kleene algebrasKleene algebras with testsparallel programming modelsrelation algebras with transitive closureseries-parallel strings

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55) Algebraic theory of languages and automata (68Q70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Concurrent Kleene algebra with tests and branching automata
• Concurrent Kleene algebra: free model and completeness
• Concurrent Kleene algebra and its foundations
• Concurrent Kleene Algebra
• Foundations of concurrent Kleene algebra

Cited in

(14)

• On series-parallel pomset languages: rationality, context-freeness and automata
• Concurrent Kleene algebra with observations: from hypotheses to completeness
• Exploring an interface model for CKA
• Developments in concurrent Kleene algebra
• Concurrent Kleene algebra with tests and branching automata
• Concurrent Kleene Algebra
• Position Automata for Kleene Algebra with Tests
• Brzozowski goes concurrent -- a Kleene theorem for pomset languages
• Kleene algebra with observations
• An algebraic glimpse at bunched implications and separation logic
• A complete inference system for skip-free guarded Kleene algebra with tests
• On star expressions and completeness theorems
• Automating memory model metatheory with intersections
• Local variable scoping and Kleene algebra with tests

This page was built for publication: Concurrent Kleene algebra with tests

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5410476)