Hereditary pushouts reconsidered

DOI10.1007/978-3-642-15928-2_17MaRDI QIDQ4931319zbMATH OpenOpenAlexFDO

Authors Tobias Heindel

Publication date 4 October 2010

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-15928-2_17

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Categories of machines, automata (18B20)

Recommendations

• Adhesivity with partial maps instead of spans
• Foundations of Software Science and Computation Structures
• Adhesive and quasiadhesive categories
• Adhesivity is not enough: local Church-Rosser revisited
• On pushouts of partial maps

Cited in

(16)

• -adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation
• Fundamentals of compositional rewriting theory
• Double-pushout-rewriting in \(S\)-Cartesian functor categories: rewriting theory and application to partial triple graphs
• Concurrency theorems for non-linear rewriting theories
• Analysis of permutation equivalence in \(\mathcal{M}\)-adhesive transformation systems with negative application conditions
• Partial pushout semantics of generics in DOL
• scientific article; zbMATH DE number 4026323 (Why is no real title available?)
• Graph rewriting and relabeling with PBPO\(^+\): a unifying theory for quasitoposes
• Single pushout rewriting in comprehensive systems
• Single pushout rewriting in comprehensive systems of graph-like structures
• Processes and unfoldings: concurrent computations in adhesive categories
• On pushouts of partial maps
• Comprehensive systems: a formal foundation for multi-model consistency management
• Finitary \(\mathcal{M}\)-adhesive categories
• Rule algebras for adhesive categories
• Polymorphic sesqui-pushout graph rewriting

This page was built for publication: Hereditary pushouts reconsidered

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