Towards a Notion of Transaction in Graph Rewriting

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

zbMATH Keywords

graph transformationstransactionszero-safe nets

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)

Related Items (1)

Graph Transformation with Dependencies for the Specification of Interactive Systems

Cites Work

• Zero-safe nets: Comparing the collective and individual token approaches.
• Handbook of Graph Grammars and Computing by Graph Transformation
• Handbook of Graph Grammars and Computing by Graph Transformation
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Towards a Notion of Transaction in Graph Rewriting