Bialgebraic representation of coordination frameworks

DOI10.1007/978-3-031-88930-1_3MaRDI QIDQ6909198zbMATH OpenFDO

Authors Harald König, Uwe Wolter

Publication date 29 October 2025

zbMATH Keywords

coalgebracompositionalitystructural operational semanticsbialgebrainteractive systems

Mathematics Subject Classification ID

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

This page was built for publication: Bialgebraic representation of coordination frameworks

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