Distributed graphs and graph transformation

DOI10.1023/A:1008683005045zbMATH Open0941.18002OpenAlexW1480909658MaRDI QIDQ1971978FDOQ1971978

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

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

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)

Cited In (20)

• 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
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Visual design of software architecture and evolution based on graph transformation
• Title not available (Why is that?)
• Title not available (Why is that?)
• Graph Rewriting Components
• GETGRATS: a summary of scientific results (with annotated bibliography)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Categorical Foundations of Distributed Graph Transformation
• 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
• 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)