Maude action tool: Using reflection to map action semantics to rewriting logic

DOI10.1007/3-540-45499-3_29MaRDI QIDQ2767190zbMATH OpenFDO

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

Publication date 28 January 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-45499-3_29

Mathematics Subject Classification ID

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

Recommendations

• Mapping modular SOS to rewriting logic
• Two case studies of semantics execution in Maude: CCS and LOTOS
• Executable structural operational semantics in Maude
• Maude: specification and programming in rewriting logic
• The rewriting logic semantics project

Cited in

(7)

• Rewriting logic: Roadmap and bibliography
• Executable structural operational semantics in Maude
• Two Decades of Maude
• Weak bisimulation as a congruence in MSOS
• Mapping modular SOS to rewriting logic
• Constructive Action Semantics in OBJ
• SOS formats and meta-theory: 20 years after

Describes a project that uses

Uses Software

• LOTOS
• Maude

This page was built for publication: Maude action tool: Using reflection to map action semantics to rewriting logic

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