scientific article; zbMATH DE number 7559476

DOI10.4230/LIPICS.CONCUR.2020.20MaRDI QIDQ5089285

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

Publication date: 18 July 2022

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

completenessaxiomatisationsequential consistencyconcurrent Kleene algebraKleene algebra with testsobservations

Mathematics Subject Classification ID

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

Related Items (1)

Concurrent NetKAT. Modeling and analyzing stateful, concurrent networks

This page was built for publication: