Parallel and distributed derivations in the single-pushout approach
DOI10.1016/0304-3975(93)90066-3zbMATH Open0787.18002OpenAlexW2087502867MaRDI QIDQ685462FDOQ685462
Authors: Michael Löwe, Hartmut Ehrig 
Publication date: 15 May 1994
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0304-3975(93)90066-3
Recommendations
Graph theory (including graph drawing) in computer science (68R10) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Grammars and rewriting systems (68Q42) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- On ``On graph rewritings
- Parallelism and concurrency of graph manipulations
- Transformations of structures: An algebraic approach
- Title not available (Why is that?)
- On graph rewritings
- Amalgamation of graph transformations: a synchronization mechanism
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Algebraic approach to single-pushout graph transformation
Cited In (17)
- Reversibility vs Local Creation/Destruction
- Algebraic approach to single-pushout graph transformation
- Categorical principles, techniques and results for high-level-replacement systems in computer science
- Parallel rewriting of attributed graphs
- Title not available (Why is that?)
- Block representation of reversible causal graph dynamics
- Reversible causal graph dynamics: invertibility, block representation, vertex-preservation
- Algebraic graph rewriting with controlled embedding
- Parallelism in AGREE Transformations
- Pragmatic and semantic aspects of a module concept for graph transformation systems
- Hierarchically distributed graph transformation
- Reversible Causal Graph Dynamics
- Subobject transformation systems
- Title not available (Why is that?)
- Algebraic structures of directed acyclic graphs: application to concurrent calculus
- On the essence of parallel independence for the double-pushout and sesqui-pushout approaches
- Relational graph rewritings
This page was built for publication: Parallel and distributed derivations in the single-pushout approach
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q685462)
