Hierarchical Design Rewriting with Maude
From MaRDI portal
Publication:5179129
DOI10.1016/j.entcs.2009.05.012zbMath1347.68072OpenAlexW2118878059WikidataQ56501701 ScholiaQ56501701MaRDI QIDQ5179129
Ugo Montanari, Roberto Bruni, Alberto Lluch Lafuente
Publication date: 19 March 2015
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.2009.05.012
Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (3)
Ugo Montanari and Graph Transformation ⋮ Graph-Based Design and Analysis of Dynamic Software Architectures ⋮ On Symbolic Semantics for Name-decorated Contexts
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Hyperedge replacement: grammars and languages
- The rewriting logic semantics project
- All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
- The origins of structural operational semantics
- A spatial logic for concurrency. I
- Executable structural operational semantics in Maude
- Semantic foundations for generalized rewrite theories
- Bigraphs and transitions
- Synchronised Hyperedge Replacement as a Model for Service Oriented Computing
- An open graph visualization system and its applications to software engineering
- Automated Deduction – CADE-19
This page was built for publication: Hierarchical Design Rewriting with Maude