Creative Commons Attribution 3.0 Unported license (CC-BY 3.0)when quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.CONCUR.2020.20
URN: urn:nbn:de:0030-drops-128324
URL: https://drops.dagstuhl.de/opus/volltexte/2020/12832/
Wagemaker, Jana ; Brunet, Paul ; Docherty, Simon ; Kappé, Tobias ; Rot, Jurriaan ; Silva, Alexandra
Partially Observable Concurrent Kleene Algebra
| pdf-format: |
|
Abstract
We introduce partially observable concurrent Kleene algebra (POCKA), an algebraic framework to reason about concurrent programs with variables as well as control structures, such as conditionals and loops, that depend on those variables. We illustrate the use of POCKA through concrete examples. We prove that POCKA is a sound and complete axiomatisation of a model of partial observations, and show the semantics passes an important check for sequential consistency.
BibTeX - Entry
@InProceedings{wagemaker_et_al:LIPIcs:2020:12832,
author = {Jana Wagemaker and Paul Brunet and Simon Docherty and Tobias Kapp{\'e} and Jurriaan Rot and Alexandra Silva},
title = {{Partially Observable Concurrent Kleene Algebra}},
booktitle = {31st International Conference on Concurrency Theory (CONCUR 2020)},
pages = {20:1--20:22},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-160-3},
ISSN = {1868-8969},
year = {2020},
volume = {171},
editor = {Igor Konnov and Laura Kov{\'a}cs},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/opus/volltexte/2020/12832},
URN = {urn:nbn:de:0030-drops-128324},
doi = {10.4230/LIPIcs.CONCUR.2020.20},
annote = {Keywords: Concurrent Kleene algebra, Kleene algebra with tests, observations, axiomatisation, completeness, sequential consistency}
}
| Keywords: | Concurrent Kleene algebra, Kleene algebra with tests, observations, axiomatisation, completeness, sequential consistency | |
| Seminar: | 31st International Conference on Concurrency Theory (CONCUR 2020) | |
| Issue date: | 2020 | |
| Date of publication: | 26.08.2020 |
