Distributed graphs and graph transformation
From MaRDI portal
Publication:1971978
DOI10.1023/A:1008683005045zbMath0941.18002MaRDI QIDQ1971978
Publication date: 3 August 2000
Published in: Applied Categorical Structures (Search for Journal in Brave)
formal specification; pushouts; categorical graph grammars; distributed gluing condition; distributed graph transformation; distributed graphs
68Q60: Specification and verification (program logics, model checking, etc.)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68Q42: Grammars and rewriting systems
18A10: Graphs, diagram schemes, precategories
Related Items
Visual Design of Software Architecture and Evolution based on Graph Transformation, GETGRATS, Visual Modeling of Distributed Object Systems by Graph Transformation, On the hilbert series of binomial edge ideals of generalized trees, The Edge of Graph Transformation — Graphs for Behavioural Specification