2026-07-23T10:34:23Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:18804 2024-03-06T11:01:54Z ddc:004 open_access

Structural Operational Semantics for Heterogeneously Typed Coalgebras König, Harald Wolter, Uwe Kräuter, Tim Coalgebra Bialgebra Structural operational semantics Compositionality Concurrently interacting components of a modular software architecture are heterogeneously structured behavioural models. We consider them as coalgebras based on different endofunctors. We formalize the composition of these coalgebras as specially tailored segments of distributive laws of the bialgebraic approach of Turi and Plotkin. The resulting categorical rules for structural operational semantics involve many-sorted algebraic specifications, which leads to a description of the components together with the composed system as a single holistic behavioural system. We evaluate our approach by showing that observational equivalence is a congruence with respect to the algebraic composition operation. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Harald König and Uwe Wolter and Tim Kräuter 2023 Is Part Of LIPIcs, Volume 270, 10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.CALCO.2023.7 urn:nbn:de:0030-drops-188048 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2023.7 eng https://creativecommons.org/licenses/by/4.0/legalcode