Finitary M-adhesive categories

DOI10.1007/978-3-642-15928-2_16MaRDI QIDQ4931318zbMATH OpenOpenAlexFDO

Authors Benjamin Braatz, Hartmut Ehrig, Karsten Gabriel, Ulrike Golas

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_16

Mathematics Subject Classification ID

Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Factorization systems, substructures, quotient structures, congruences, amalgams (18A32) Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Grammars and rewriting systems (68Q42) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Finitary \(\mathcal{M}\)-adhesive categories
• Foundations of Software Science and Computation Structures
• Adhesive and quasiadhesive categories
• Construction and properties of adhesive and weak adhesive high-level replacement categories
• Adhesivity is not enough: local Church-Rosser revisited

Cited in

(11)

• Concurrency theorems for non-linear rewriting theories
• Transformations of reaction systems over categories by means of epi-mono factorization and functors
• Rule algebras for adhesive categories
• scientific article; zbMATH DE number 7453087 (Why is no real title available?)
• scientific article; zbMATH DE number 7453970 (Why is no real title available?)
• Graph surfing in reaction systems from a categorial perspective
• Processes and unfoldings: concurrent computations in adhesive categories
• Finitary \(\mathcal{M}\)-adhesive categories
• Combining termination proofs in model transformation systems
• Analysis of permutation equivalence in \(\mathcal{M}\)-adhesive transformation systems with negative application conditions
• A lattice-theoretical perspective on adhesive categories

This page was built for publication: Finitary \(\mathcal{M}\)-adhesive categories

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