Parallel high-level replacement systems

DOI10.1016/S0304-3975(96)00215-0zbMath0893.68087MaRDI QIDQ1389763

Gabriele Taentzer

Publication date: 30 June 1998

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

high-level replacement systems

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (9)

Reversible Causal Graph Dynamics ⋮ Parallel high-level replacement systems ⋮ Block Representation of Reversible Causal Graph Dynamics ⋮ Reversible causal graph dynamics: invertibility, block representation, vertex-preservation ⋮ Parallel rewriting of attributed graphs ⋮ Parallel coherent graph transformations ⋮ GETGRATS ⋮ The Edge of Graph Transformation — Graphs for Behavioural Specification ⋮ Reversibility vs Local Creation/Destruction

Uses Software

• AGG

Cites Work

• Hyperedge replacement: grammars and languages
• Algebraic approach to single-pushout graph transformation
• On a relationship between graph L-systems and picture languages
• Parallelism and concurrency of graph manipulations
• On the structure of node-label-controlled graph languages
• Foundations of rule-based design of modular systems
• Parallel high-level replacement systems
• Amalgamation of graph transformations: a synchronization mechanism
• Transformations of structures: An algebraic approach
• Parallelism and concurrency in high-level replacement systems
• Algebraic high-level net transformation systems
• Amalgamated graph transformations and their use for specifying AGG — an algebraic graph grammar system
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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: Parallel high-level replacement systems