Double-pushout rewriting in context: rule composition and parallel independence

DOI10.1007/978-3-030-23611-3_2MaRDI QIDQ2292966zbMATH OpenOpenAlexFDO

Authors Michael Löwe

Publication date 6 February 2020

Full work available at URL https://doi.org/10.1007/978-3-030-23611-3_2

Mathematics Subject Classification ID

Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Grammars and rewriting systems (68Q42)

Recommendations

• A generalized concurrent rule construction for double-pushout rewriting
• Parallel and Sequential Independence for Borrowed Contexts
• Parallelism in single-pushout graph rewriting
• Compositionality of rewriting rules with conditions
• Concurrency theorems for non-linear rewriting theories

Cited in

(8)

• A generalized concurrent rule construction for double-pushout rewriting: generalized concurrency theorem and language-preserving rule applications
• A generalized concurrent rule construction for double-pushout rewriting
• Polymorphic sesqui-pushout graph rewriting
• Parallel and Sequential Independence for Borrowed Contexts
• Composition and Decomposition of DPO Transformations with Borrowed Context
• scientific article; zbMATH DE number 7453087 (Why is no real title available?)
• Compositionality of rewriting rules with conditions
• Patch graph rewriting

This page was built for publication: Double-pushout rewriting in context: rule composition and parallel independence

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2292966)