Pragmatics of modular SOS

DOI10.1007/3-540-45719-4_3MaRDI QIDQ2996131zbMATH OpenOpenAlexWikidataFDO

Authors Peter D. Mosses

Publication date 6 May 2011

Published in Algebraic Methodology and Software Technology (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-45719-4_3

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• Modular structural operational semantics
• SOS formats and meta-theory: 20 years after
• scientific article; zbMATH DE number 1418328
• scientific article; zbMATH DE number 7356843
• Structural operational semantics.

Cited in

(15)

• A rewriting logic approach to operational semantics
• Executable component-based semantics
• Evolution of rule-based programs
• Modular structural operational semantics
• Dynamic structural operational semantics
• Implicit propagation in structural operational semantics
• Weak bisimulation as a congruence in MSOS
• From rewriting logic, to programming language semantics, to program verification
• Quality engineering: leveraging heterogeneous information (invited talk)
• Generating specialized interpreters for modular structural operational semantics
• scientific article; zbMATH DE number 1418328 (Why is no real title available?)
• Structural operational semantics through context-dependent behaviour
• An operational semantics for object-oriented concepts based on the class hierarchy
• The rewriting logic semantics project
• An overview of the K semantic framework

This page was built for publication: Pragmatics of modular SOS

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