scientific article

zbMath1272.68109MaRDI QIDQ2848459

Christiano Braga, Alexandre Rademaker, Alexandre Sztajnberg

Publication date: 26 September 2013

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Hierarchical Design Rewriting with Maude ⋮ CBabel

Uses Software

• Maude

This page was built for publication: