dc.contributor.author | König, Harald | |
dc.contributor.author | Wolter, Uwe Egbert | |
dc.contributor.author | Kräuter, Tim Oliver | |
dc.date.accessioned | 2023-11-15T09:50:33Z | |
dc.date.available | 2023-11-15T09:50:33Z | |
dc.date.created | 2023-09-04T13:06:49Z | |
dc.date.issued | 2023 | |
dc.identifier.issn | 1868-8969 | |
dc.identifier.uri | https://hdl.handle.net/11250/3102662 | |
dc.description.abstract | 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. | en_US |
dc.language.iso | eng | en_US |
dc.publisher | Schloss Dagstuhl | en_US |
dc.rights | Navngivelse 4.0 Internasjonal | * |
dc.rights.uri | http://creativecommons.org/licenses/by/4.0/deed.no | * |
dc.title | Structural Operational Semantics for Heterogeneously Typed Coalgebras | en_US |
dc.type | Peer reviewed | en_US |
dc.type | Journal article | en_US |
dc.description.version | publishedVersion | en_US |
dc.rights.holder | © Harald König, Uwe Wolter, and Tim Kräuter; | en_US |
dc.source.pagenumber | 7:1-7:17 | en_US |
dc.source.volume | 270 | en_US |
dc.source.journal | Leibniz International Proceedings in Informatics | en_US |
dc.identifier.doi | 10.4230/LIPIcs.CALCO.2023.7 | |
dc.identifier.cristin | 2172105 | |
cristin.ispublished | true | |
cristin.fulltext | original | |
cristin.qualitycode | 1 | |