Mapping Modular SOS to Rewriting Logic

DOI10.1007/3-540-45013-0_21zbMath1278.68166OpenAlexW1554594749WikidataQ57783496 ScholiaQ57783496MaRDI QIDQ3079927

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

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

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

Related Items (5)

Nominal SOS ⋮ SOS formats and meta-theory: 20 years after ⋮ Weak Bisimulation as a Congruence in MSOS ⋮ The rewriting logic semantics project: a progress report ⋮ The Rewriting Logic Semantics Project: A Progress Report

Uses Software

• Maude

This page was built for publication: Mapping Modular SOS to Rewriting Logic