Mapping modular SOS to rewriting logic

DOI10.1007/3-540-45013-0_21zbMATH Open1278.68166OpenAlexW1554594749WikidataQ57783496 ScholiaQ57783496MaRDI QIDQ3079927FDOQ3079927

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

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

Mathematics Subject Classification ID

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

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
• Title not available (Why is that?)
• Modular structural operational semantics
• Weak bisimulation as a congruence in MSOS
• Rewriting modulo SMT and open system analysis
• Title not available (Why is that?)

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)