Parallel high-level replacement systems
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 3918301 (Why is no real title available?)
- scientific article; zbMATH DE number 4049096 (Why is no real title available?)
- scientific article; zbMATH DE number 4049106 (Why is no real title available?)
- scientific article; zbMATH DE number 4049108 (Why is no real title available?)
- scientific article; zbMATH DE number 4062632 (Why is no real title available?)
- scientific article; zbMATH DE number 44486 (Why is no real title available?)
- scientific article; zbMATH DE number 107464 (Why is no real title available?)
- scientific article; zbMATH DE number 176939 (Why is no real title available?)
- scientific article; zbMATH DE number 176940 (Why is no real title available?)
- scientific article; zbMATH DE number 177427 (Why is no real title available?)
- scientific article; zbMATH DE number 177464 (Why is no real title available?)
- scientific article; zbMATH DE number 3479108 (Why is no real title available?)
- scientific article; zbMATH DE number 3573273 (Why is no real title available?)
- scientific article; zbMATH DE number 3633737 (Why is no real title available?)
- scientific article; zbMATH DE number 195102 (Why is no real title available?)
- Algebraic approach to single-pushout graph transformation
- Algebraic high-level net transformation systems
- Amalgamated graph transformations and their use for specifying AGG -- an algebraic graph grammar system
- Amalgamation of graph transformations: a synchronization mechanism
- Foundations of rule-based design of modular systems
- Hyperedge replacement: grammars and languages
- On a relationship between graph L-systems and picture languages
- On the structure of node-label-controlled graph languages
- Parallel high-level replacement systems
- Parallelism and concurrency in high-level replacement systems
- Parallelism and concurrency of graph manipulations
- Transformations of structures: An algebraic approach
Cited in
(20)- scientific article; zbMATH DE number 1504836 (Why is no real title available?)
- Reversible causal graph dynamics: invertibility, block representation, vertex-preservation
- A note on parallel machine replacement
- Hyperedge replacement with rendezvous
- Block representation of reversible causal graph dynamics
- On Modifying High Level Replacement Systems1 1Partially supported by the European Community under TMR GETGRATS and Esprit WG APPLIGRAPH
- Basic results for two types of high-level replacement systems
- Parallelism and concurrency in adhesive high-level replacement systems with negative application conditions
- Reversibility vs Local Creation/Destruction
- Parallel coherent graph transformations
- Categorical approach to horizontal structuring and refinement of high-level replacement systems
- The Edge of Graph Transformation — Graphs for Behavioural Specification
- GETGRATS: a summary of scientific results (with annotated bibliography)
- Canonical derivations for high-level replacement systems
- scientific article; zbMATH DE number 176940 (Why is no real title available?)
- Parallelism and concurrency in high-level replacement systems
- Reversible causal graph dynamics
- Parallel rewriting of attributed graphs
- Parallel high-level replacement systems
- scientific article; zbMATH DE number 177439 (Why is no real title available?)
This page was built for publication: Parallel high-level replacement systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1389763)
