Schmid, Todd;
Rozowski, Wojciech;
Silva, Alexandra;
Rot, Jurriaan;
(2022)
Processes Parametrised by an Algebraic Theory.
arXiv
Preview |
Text
2202.06901.pdf - Accepted Version Download (706kB) | 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: | Working / discussion paper |
|---|---|
| Title: | Processes Parametrised by an Algebraic Theory |
| Open access status: | An open access version is available from UCL Discovery |
| Publisher version: | https://doi.org/10.48550/arXiv.2202.06901 |
| Language: | English |
| Additional information: | This is an open access article under the CC BY license (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. |
| UCL classification: | UCL UCL > Provost and Vice Provost Offices > UCL BEAMS 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 |
| URI: | https://discovery.ucl.ac.uk/id/eprint/10182021 |
Archive Staff Only
 |
View Item |
