Mapping modular SOS to rewriting logic

DOI10.1007/3-540-45013-0_21MaRDI QIDQ3079927zbMATH OpenOpenAlexWikidataFDO

Authors Christiano O. de Braga, Edward Hermann Haeusler, José Meseguer, Peter D. Mosses

Publication date 4 March 2011

Published in Logic Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-45013-0_21

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Modular structural operational semantics
• Algebraic Methodology and Software Technology
• scientific article; zbMATH DE number 1696903
• scientific article; zbMATH DE number 1231677
• The rewriting logic semantics project

Cited in

(10)

• The rewriting logic semantics project: a progress report
• The rewriting logic semantics project: a progress report
• SOS formats and meta-theory: 20 years after
• Generating specialized interpreters for modular structural operational semantics
• Nominal SOS
• scientific article; zbMATH DE number 1696903 (Why is no real title available?)
• Modular structural operational semantics
• Weak bisimulation as a congruence in MSOS
• Rewriting modulo SMT and open system analysis
• scientific article; zbMATH DE number 1189279 (Why is no real title available?)

Describes a project that uses

Uses Software

• Maude

This page was built for publication: Mapping modular SOS to rewriting logic

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