Well-behaved Translations between Structural Operational Semantics

DOI10.1016/S1571-0661(04)80372-4zbMath1270.68159MaRDI QIDQ2842565

Hiroshi Watanabe

Publication date: 15 August 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65)

Related Items (8)

Adding recursive constructs to bialgebraic semantics ⋮ Unnamed Item ⋮ Bialgebras for structural operational semantics: an introduction ⋮ Companions, Codensity and Causality ⋮ Fully Abstract and Robust Compilation ⋮ Well-behaved Translations between Structural Operational Semantics ⋮ Bialgebraic Methods in Structural Operational Semantics ⋮ Corecursion up-to via causal transformations

Cites Work

• GSOS for probabilistic transition systems
• Well-behaved Translations between Structural Operational Semantics
• Adjoint Lifting Theorems for Categories of Algebras
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Well-behaved Translations between Structural Operational Semantics