scientific article; zbMATH DE number 7559476

DOI10.4230/LIPICS.CONCUR.2020.20MaRDI QIDQ5089285FDOQ5089285

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

Title of this publication is not available (Why is that?)

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

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)

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)