Browsing Bergen Open Research Archive by Author "Kräuter, Tim Oliver"
Now showing items 1-1 of 1
-
Structural Operational Semantics for Heterogeneously Typed Coalgebras
König, Harald; Wolter, Uwe Egbert; Kräuter, Tim Oliver (Journal article; Peer reviewed, 2023)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 ...