scientific article; zbMATH DE number 1973990

MaRDI QIDQ4422086zbMATH OpenFDO

Authors Alberto Verdejo

Publication date 3 September 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2529/25290292.htm

zbMATH Keywords

Full LOTOSMaudemeta-languagerewriting logicsymbolic semantics

Mathematics Subject Classification ID

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

Recommendations

• Two case studies of semantics execution in Maude: CCS and LOTOS
• Executable structural operational semantics in Maude
• Automated Reasoning
• Programming and symbolic computation in Maude
• An interpreter for LOTOS, a specification language for distributed systems

Cited in

(7)

• Twenty years of rewriting logic
• Executable structural operational semantics in Maude
• Symbolic Semantics for Multiparty Interactions in the Link-Calculus
• An interpreter for LOTOS, a specification language for distributed systems
• The \textsf{tccp} interpreter
• Two case studies of semantics execution in Maude: CCS and LOTOS
• SOS formats and meta-theory: 20 years after

Describes a project that uses

Uses Software

• Maude

This page was built for publication:

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