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

zbMATH Keywords

coalgebraprocess algebraprogram semanticsregular expressions

Mathematics Subject Classification ID

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

Cited in

(1)

• 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)