Modular Structural Operational Semantics with Strategies

DOI10.1016/J.ENTCS.2006.10.024zbMath1277.68114OpenAlexW2115003019MaRDI QIDQ2866312

Christiano Braga, Alberto Verdejo

Publication date: 13 December 2013

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

Full work available at URL: https://doi.org/10.1016/j.entcs.2006.10.024

zbMATH Keywords

strategiesnegative premisesmodular SOSordered SOS

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)

Related Items (4)

Parameterized strategies specification in Maude ⋮ The Maude strategy language ⋮ Unnamed Item ⋮ Programming and symbolic computation in Maude

Uses Software

• Maude
• MMT

Cites Work

• Ordered SOS process languages for branching and eager bisimulations
• Modular structural operational semantics
• Executable structural operational semantics in Maude
• Algebraic Methodology and Software Technology
• Unnamed Item
• Unnamed Item

This page was built for publication: Modular Structural Operational Semantics with Strategies