Distributed graphs and graph transformation

DOI10.1023/A:1008683005045MaRDI QIDQ1971978zbMATH OpenOpenAlexFDO

Authors 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

pushoutsformal specificationcategorical graph grammarsdistributed gluing conditiondistributed graph transformationdistributed graphs

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Graphs, diagram schemes, precategories (18A10)

Recommendations

• Hierarchically distributed graph transformation
• Categorical Foundations of Distributed Graph Transformation
• scientific article; zbMATH DE number 4062632
• A graph-based approach to the compositional specification of distributed systems
• scientific article; zbMATH DE number 2016077

Cited in

(21)

• On the hilbert series of binomial edge ideals of generalized trees
• The Edge of Graph Transformation — Graphs for Behavioural Specification
• Fundamentals of compositional rewriting theory
• scientific article; zbMATH DE number 4062632 (Why is no real title available?)
• scientific article; zbMATH DE number 1629831 (Why is no real title available?)
• scientific article; zbMATH DE number 2016077 (Why is no real title available?)
• Visual design of software architecture and evolution based on graph transformation
• scientific article; zbMATH DE number 919851 (Why is no real title available?)
• scientific article; zbMATH DE number 5199140 (Why is no real title available?)
• GETGRATS: a summary of scientific results (with annotated bibliography)
• Graph Rewriting Components
• scientific article; zbMATH DE number 1515852 (Why is no real title available?)
• Categorical Foundations of Distributed Graph Transformation
• scientific article; zbMATH DE number 1504834 (Why is no real title available?)
• A graph-based approach to the compositional specification of distributed systems
• On the Construction of Transformation Steps in the Category of Multiagent Systems
• Distributed systems with simple concept graphs
• Visual Modeling of Distributed Object Systems by Graph Transformation
• Hierarchically distributed graph transformation
• Declarative modelling of distributed systems with graph rewriting languages.
• Graph rewriting, constraint solving and tiles for coordinating distributed systems

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1971978)