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 (22)
- 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
- Parallelism in AGREE transformations
- Algebraic graph rewriting with controlled embedding
- Parallelism in single-pushout graph rewriting
- Reversible causal graph dynamics
- Abstract graph derivations in the double pushout approach
- Pragmatic and semantic aspects of a module concept for graph transformation systems
- Hierarchically distributed graph transformation
- On relating rewriting systems and graph grammars to event structures
- Canonical derivations for high-level replacement systems
- Subobject transformation systems
- Title not available (Why is that?)
- Moving a derivation along a derivation preserves the spine
- 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)
