Distributed graphs and graph transformation

DOI10.1023/A:1008683005045zbMath0941.18002OpenAlexW1480909658MaRDI QIDQ1971978

Gabriele Taentzer

Publication date: 3 August 2000

Published in: Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1008683005045

zbMATH Keywords

formal specificationpushoutscategorical graph grammarsdistributed gluing conditiondistributed graph transformationdistributed graphs

Mathematics Subject Classification ID

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) Graphs, diagram schemes, precategories (18A10)

Related Items (6)

Fundamentals of compositional rewriting theory ⋮ Visual Design of Software Architecture and Evolution based on Graph Transformation ⋮ GETGRATS ⋮ Visual Modeling of Distributed Object Systems by Graph Transformation ⋮ The Edge of Graph Transformation — Graphs for Behavioural Specification ⋮ On the hilbert series of binomial edge ideals of generalized trees

This page was built for publication: Distributed graphs and graph transformation