Well-behaved translations between structural operational semantics

DOI10.1016/S1571-0661(04)80372-4MaRDI QIDQ2842565zbMATH OpenFDO

Authors Hiroshi Watanabe

Publication date 15 August 2013

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

Full work available at URL https://doi.org/10.1016/S1571-0661(04)80372-4

Mathematics Subject Classification ID

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

Recommendations

• Presenting Morphisms of Distributive Laws
• Distributive laws for monotone specifications
• Distributive laws for monotone specifications
• Category theory for operational semantics
• Bialgebras for structural operational semantics: an introduction

Cites work

• scientific article; zbMATH DE number 3716749 (Why is no real title available?)
• scientific article; zbMATH DE number 3522194 (Why is no real title available?)
• scientific article; zbMATH DE number 1314227 (Why is no real title available?)
• scientific article; zbMATH DE number 1086715 (Why is no real title available?)
• scientific article; zbMATH DE number 1497875 (Why is no real title available?)
• Adjoint Lifting Theorems for Categories of Algebras
• GSOS for probabilistic transition systems (extended abstract)
• Structural operational semantics.
• Well-behaved translations between structural operational semantics

Cited in

(10)

• Companions, codensity and causality
• Corecursion up-to via causal transformations
• Bialgebraic reasoning on higher-order program equivalence
• Bialgebras for structural operational semantics: an introduction
• Bialgebraic methods in structural operational semantics (invited talk)
• Well-behaved translations between structural operational semantics
• Fully Abstract and Robust Compilation
• Canonical automata via distributive law homomorphisms
• Adding recursive constructs to bialgebraic semantics
• Stream differential equations: specification formats and solution methods

This page was built for publication: Well-behaved translations between structural operational semantics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2842565)