Well-behaved Translations between Structural Operational Semantics
From MaRDI portal
Publication:2842565
DOI10.1016/S1571-0661(04)80372-4zbMath1270.68159MaRDI QIDQ2842565
Publication date: 15 August 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Related Items
Bialgebras for structural operational semantics: an introduction, Adding recursive constructs to bialgebraic semantics, Corecursion up-to via causal transformations, Well-behaved Translations between Structural Operational Semantics, Bialgebraic Methods in Structural Operational Semantics, Unnamed Item, Companions, Codensity and Causality
Cites Work