Processes parametrised by an algebraic theory

DOI10.4230/LIPICS.ICALP.2022.132MaRDI QIDQ6560935FDOQ6560935

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)