Parallel and distributed derivations in the single-pushout approach

DOI10.1016/0304-3975(93)90066-3MaRDI QIDQ685462zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

parallelismgraph grammarsdistributed derivationsgraph rewritingsingle-pushout approach

Mathematics Subject Classification ID

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)

Recommendations

• Parallelism in single-pushout graph rewriting
• scientific article; zbMATH DE number 139800
• scientific article; zbMATH DE number 1231478
• scientific article; zbMATH DE number 4062632
• scientific article; zbMATH DE number 177420

Cites work

• scientific article; zbMATH DE number 1638662 (Why is no real title available?)
• scientific article; zbMATH DE number 3888893 (Why is no real title available?)
• scientific article; zbMATH DE number 3819108 (Why is no real title available?)
• scientific article; zbMATH DE number 4049016 (Why is no real title available?)
• scientific article; zbMATH DE number 4049017 (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 139800 (Why is no real title available?)
• scientific article; zbMATH DE number 177452 (Why is no real title available?)
• scientific article; zbMATH DE number 3455154 (Why is no real title available?)
• scientific article; zbMATH DE number 3633737 (Why is no real title available?)
• scientific article; zbMATH DE number 3417640 (Why is no real title available?)
• Algebraic approach to single-pushout graph transformation
• Amalgamation of graph transformations: a synchronization mechanism
• On ``On graph rewritings
• On graph rewritings
• Parallelism and concurrency of graph manipulations
• Transformations of structures: An algebraic approach

Cited in

(22)

• Reversible causal graph dynamics: invertibility, block representation, vertex-preservation
• Block representation of reversible causal graph dynamics
• Algebraic structures of directed acyclic graphs: application to concurrent calculus
• Abstract graph derivations in the double pushout approach
• Pragmatic and semantic aspects of a module concept for graph transformation systems
• Relational graph rewritings
• Parallelism in single-pushout graph rewriting
• Reversibility vs Local Creation/Destruction
• Algebraic approach to single-pushout graph transformation
• scientific article; zbMATH DE number 4062632 (Why is no real title available?)
• Categorical principles, techniques and results for high-level-replacement systems in computer science
• Moving a derivation along a derivation preserves the spine
• Canonical derivations for high-level replacement systems
• Hierarchically distributed graph transformation
• On the essence of parallel independence for the double-pushout and sesqui-pushout approaches
• Parallelism in AGREE transformations
• Reversible causal graph dynamics
• Subobject transformation systems
• On relating rewriting systems and graph grammars to event structures
• Algebraic graph rewriting with controlled embedding
• Parallel rewriting of attributed graphs
• scientific article; zbMATH DE number 177420 (Why is no real title available?)

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)