Parallel and distributed derivations in the single-pushout approach
From MaRDI portal
(Redirected from Publication:685462)
Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Grammars and rewriting systems (68Q42) Graph theory (including graph drawing) in computer science (68R10)
Recommendations
Cites work
- Algebraic approach to single-pushout graph transformation
- Amalgamation of graph transformations: a synchronization mechanism
- 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?)
- On ``On graph rewritings
- On graph rewritings
- Parallelism and concurrency of graph manipulations
- Transformations of structures: An algebraic approach
Cited in
(24)- On the essence of parallel independence for the double-pushout and sesqui-pushout approaches
- Algebraic graph rewriting with controlled embedding
- Parallel rewriting of attributed graphs
- Block representation of reversible causal graph dynamics
- Reversible causal graph dynamics
- Parallelism in AGREE transformations
- scientific article; zbMATH DE number 4062632 (Why is no real title available?)
- scientific article; zbMATH DE number 177420 (Why is no real title available?)
- scientific article; zbMATH DE number 1231478 (Why is no real title available?)
- scientific article; zbMATH DE number 1231496 (Why is no real title available?)
- Pragmatic and semantic aspects of a module concept for graph transformation systems
- Hierarchically distributed graph transformation
- Algebraic structures of directed acyclic graphs: application to concurrent calculus
- Abstract graph derivations in the double pushout approach
- Canonical derivations for high-level replacement systems
- Parallelism in single-pushout graph rewriting
- On relating rewriting systems and graph grammars to event structures
- Reversibility vs Local Creation/Destruction
- Reversible causal graph dynamics: invertibility, block representation, vertex-preservation
- Moving a derivation along a derivation preserves the spine
- Relational graph rewritings
- Algebraic approach to single-pushout graph transformation
- Categorical principles, techniques and results for high-level-replacement systems in computer science
- Subobject transformation systems
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)
