Concurrent Kleene Algebra with Tests

DOI10.1007/978-3-319-06251-8_3zbMath1345.68139OpenAlexW51266236MaRDI QIDQ5410476

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

parallel programming modelsseries-parallel stringsKleene algebras with testsconcurrent Kleene algebrasrelation algebras with transitive closure

Mathematics Subject Classification ID

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

Related Items (5)

Developments in concurrent Kleene algebra ⋮ Exploring an Interface Model for CKA ⋮ An algebraic glimpse at bunched implications and separation logic ⋮ On series-parallel pomset languages: rationality, context-freeness and automata ⋮ Unnamed Item

This page was built for publication: Concurrent Kleene Algebra with Tests