Amalgamation of graph transformations: a synchronization mechanism
From MaRDI portal
Publication:1822505
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
distributed systemsdata structuresgraph grammargraph derivationsrailway control systemsynchronization of graph manipulations
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
