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)

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

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)