Cargando…

Concurrent Kleene Algebra with Observations: From Hypotheses to Completeness

Concurrent Kleene Algebra (CKA) extends basic Kleene algebra with a parallel composition operator, which enables reasoning about concurrent programs. However, CKA fundamentally misses tests, which are needed to model standard programming constructs such as conditionals and [Formula: see text] -loops...

Descripción completa

Detalles Bibliográficos
Autores principales: Kappé, Tobias, Brunet, Paul, Silva, Alexandra, Wagemaker, Jana, Zanasi, Fabio
Formato: Online Artículo Texto
Lenguaje:English
Publicado: 2020
Materias:
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7788622/
http://dx.doi.org/10.1007/978-3-030-45231-5_20