Schmid, T;
Rozowski, W;
Silva, A;
Rot, J;
(2022)
Processes Parametrised by an Algebraic Theory.
In:
49th International Colloquium on Automata, Languages, and Programming (ICALP 2022).
(pp. 132:1-132:20).
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Preview |
Text
LIPIcs-ICALP-2022-132.pdf - Published Version Download (935kB) | Preview |
Abstract
We develop a (co)algebraic framework to study a family of process calculi with monadic branching structures and recursion operators. Our framework features a uniform semantics of process terms and a complete axiomatisation of semantic equivalence. We show that there are uniformly defined fragments of our calculi that capture well-known examples from the literature like regular expressions modulo bisimilarity and guarded Kleene algebra with tests. We also derive new calculi for probabilistic and convex processes with an analogue of Kleene star.
Type: | Proceedings paper |
---|---|
Title: | Processes Parametrised by an Algebraic Theory |
Open access status: | An open access version is available from UCL Discovery |
DOI: | 10.4230/LIPIcs.ICALP.2022.132 |
Publisher version: | https://doi.org/10.4230/LIPIcs.ICALP.2022.132 |
Language: | English |
Additional information: | This work is licensed under a Creative Commons Attribution 4.0 International License. The images or other third-party material in this article are included in the Creative Commons license, unless indicated otherwise in the credit line; if the material is not included under the Creative Commons license, users will need to obtain permission from the license holder to reproduce the material. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/ |
UCL classification: | UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science > Dept of Computer Science UCL > Provost and Vice Provost Offices > UCL BEAMS UCL |
URI: | https://discovery.ucl.ac.uk/id/eprint/10152312 |
Archive Staff Only
![]() |
View Item |