scientific article; zbMATH DE number 7559476

DOI10.4230/LIPICS.CONCUR.2020.20MaRDI QIDQ5089285zbMATH OpenFDO

Authors Jana Wagemaker, Paul Brunet, Simon Docherty, Tobias Kappé, Jurriaan Rot, Alexandra Silva

Publication date 18 July 2022

Full work available at URL https://arxiv.org/abs/2007.07593

zbMATH Keywords

completenesssequential consistencyconcurrent Kleene algebraKleene algebra with testsobservationsaxiomatisation

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Probabilistic concurrent Kleene algebra
• Concurrent Kleene Algebra
• Concurrent Kleene algebra with observations: from hypotheses to completeness
• Concurrent Kleene algebra and its foundations
• Foundations of concurrent Kleene algebra
• scientific article; zbMATH DE number 7204945
• Developments in concurrent Kleene algebra
• Developments in concurrent Kleene algebra
• Concurrent Kleene algebra: free model and completeness
• Synchronous Kleene algebra

Cited in

(4)

• Concurrent NetKAT. Modeling and analyzing stateful, concurrent networks
• Observability for Pair Pattern Calculi
• A complete inference system for skip-free guarded Kleene algebra with tests
• Concurrent Kleene Algebra

This page was built for publication:

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