Amalgamation of graph transformations: a synchronization mechanism

DOI10.1016/0022-0000(87)90030-4zbMath0618.68060OpenAlexW2055102312MaRDI QIDQ1822505

Harald-Reto Fonio, Paul Boehm, Annegret Habel

Publication date: 1987

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0022-0000(87)90030-4

zbMATH Keywords

distributed systemsdata structuresgraph grammargraph derivationsrailway control systemsynchronization of graph manipulations

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Data structures (68P05)

Related Items (24)

Hyperedge replacement with rendezvous ⋮ Reversible Causal Graph Dynamics ⋮ Graph-grammar semantics of a higher-order programming language for distributed systems ⋮ Single pushout transformations of equationally defined graph structures with applications to actor systems ⋮ Amalgamated graph transformations and their use for specifying AGG — an algebraic graph grammar system ⋮ Multi-amalgamated Triple Graph Grammars ⋮ Parallel high-level replacement systems ⋮ Block Representation of Reversible Causal Graph Dynamics ⋮ Reversible causal graph dynamics: invertibility, block representation, vertex-preservation ⋮ Accretive computation of global transformations ⋮ Unnamed Item ⋮ Process specification and verification ⋮ Synchronized composition of graph grammar productions ⋮ Algebraic approach to single-pushout graph transformation ⋮ Parallel and distributed derivations in the single-pushout approach ⋮ Categorical principles, techniques and results for high-level-replacement systems in computer science ⋮ Multi-amalgamation of rules with application conditions in -adhesive categories ⋮ -adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation ⋮ Graph-based specification of access control policies ⋮ Parallel Independence of Amalgamated Graph Transformations Applied to Model Transformation ⋮ Reversibility vs Local Creation/Destruction ⋮ Algebraic transformation of unary partial algebras II: Single-pushout approach ⋮ Composition of multilevel domain-specific modelling languages ⋮ Formal software specification with refinements and modules of typed graph transformation systems

Cites Work

• Calculi for synchrony and asynchrony
• Parallelism and concurrency of graph manipulations
• Applications of graph grammar theory to consistency, synchronization and scheduling in data base systems
• Deriving graphs from graphs by applying a production
• Graph-grammars and their application to computer science and biology. International workshop Bad Honnef, October 30 November 3, 1978
• Graph-grammars and their application to computer science. 2nd International Workshop, Haus Ohrbeck, Germany, October 4-8, 1982. Under the auspices of the European Association for Theoretical Computer Science
• A Theory of Communicating Sequential Processes
• Pushout-Properties: An analysis of gluing constructions for graphs
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Amalgamation of graph transformations: a synchronization mechanism