Processes parametrised by an algebraic theory

DOI10.4230/LIPICS.ICALP.2022.132MaRDI QIDQ6560935zbMATH OpenFDO

Authors Wojciech Różowski, Jurriaan Rot, Alexandra Silva

Publication date 24 June 2024

Full work available at URL https://doi.org/10.4230/LIPICS.ICALP.2022.132

zbMATH Keywords

coalgebraprocess algebraprogram semanticsregular expressions

Mathematics Subject Classification ID

Theory of software (68Nxx) Theory of computing (68Qxx)

Cited in

(3)

• A complete quantitative axiomatisation of behavioural distance of regular expressions
• A general completeness theorem for skip-free star algebras
• A complete inference system for skip-free guarded Kleene algebra with tests

This page was built for publication: Processes parametrised by an algebraic theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6560935)