Towards Common Exchange Formats for Graphs and Graph Transformation Systems
From MaRDI portal
Publication:4923506
DOI10.1016/S1571-0661(04)80941-1zbMath1263.68115MaRDI QIDQ4923506
Publication date: 24 May 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
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)
Related Items (2)
The Edge of Graph Transformation — Graphs for Behavioural Specification ⋮ Modeling and Verifying Graph Transformations in Proof Assistants
Uses Software
Cites Work
This page was built for publication: Towards Common Exchange Formats for Graphs and Graph Transformation Systems