2026-07-23T03:46:28Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:16473 2024-03-06T10:57:34Z ddc:004 open_access

Processes Parametrised by an Algebraic Theory Schmid, Todd Różowski, Wojciech Rot, Jurriaan Silva, Alexandra process algebra program semantics coalgebra regular expressions 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Todd Schmid and Wojciech Różowski and Jurriaan Rot and Alexandra Silva 2022 Is Part Of LIPIcs, Volume 229, 49th International Colloquium on Automata, Languages, and Programming (ICALP 2022) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.ICALP.2022.132 urn:nbn:de:0030-drops-164735 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.132 eng https://creativecommons.org/licenses/by/4.0/legalcode