Blar i Import fra CRIStin på tidsskrift "Leibniz International Proceedings in Informatics"
Viser treff 1-1 av 1
-
Structural Operational Semantics for Heterogeneously Typed Coalgebras
(Peer reviewed; Journal article, 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 ...