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

Full work available at URL https://doi.org/10.1007/978-3-031-88930-1_3

zbMATH Keywords

coalgebracompositionalitystructural operational semanticsbialgebrainteractive systems

Mathematics Subject Classification ID

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

Cites work

• scientific article; zbMATH DE number 46995 (Why is no real title available?)
• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• A Distributed Pi-Calculus
• Bialgebras for structural operational semantics: an introduction
• Category theory for operational semantics
• Coalgebraic semantics for timed processes
• Introduction to coalgebra. Towards mathematics of states and observation
• Object-oriented hybrid systems of coalgebras plus monoid actions
• Presenting Morphisms of Distributive Laws
• Structural operational semantics for heterogeneously typed coalgebras
• Structural operational semantics.
• Structured operational semantics and bisimulation as a congruence
• Universal coalgebra: A theory of systems

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)