Towards a Notion of Transaction in Graph Rewriting
From MaRDI portal
Publication:5404174
DOI10.1016/j.entcs.2008.04.028zbMath1283.68182OpenAlexW2104998653MaRDI QIDQ5404174
Paolo Baldan, Fabio Gadducci, Fernando Luís Dotti, Luciana Foss, Leila Ribeiro, Andrea Corradini
Publication date: 21 March 2014
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.2008.04.028
Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)
Related Items (1)
Cites Work
This page was built for publication: Towards a Notion of Transaction in Graph Rewriting