Prototyping SOS meta-theory in Maude

zbMATH Open1273.68212MaRDI QIDQ2852099FDOQ2852099

Authors: Mohammad Mousavi, Michel A. Reniers 

Publication date: 7 October 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066106002210

Recommendations

• scientific article; zbMATH DE number 7356843
• Executable structural operational semantics in Maude
• Maude: specification and programming in rewriting logic
• Two case studies of semantics execution in Maude: CCS and LOTOS
• Prototyping 3APL in the Maude Term Rewriting Language

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55)

Cited In (5)

• SOS formats and meta-theory: 20 years after
• Nominal SOS
• Title not available (Why is that?)
• Towards SOS meta-theory for language-based security
• Modular structural operational semantics with strategies

Uses Software

• Miranda
• LETOS
• Maude

This page was built for publication: Prototyping SOS meta-theory in Maude

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