Grammar Morphisms and Weakly Adhesive Categories
DOI10.1007/978-3-540-87405-8_43zbMATH Open1175.68224OpenAlexW2168950078MaRDI QIDQ3540427FDOQ3540427
Authors: Tobias Heindel 
Publication date: 20 November 2008
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-87405-8_43
Recommendations
- Weak Adhesive High-Level Replacement Categories and Systems: A Unifying Framework for Graph and Petri Net Transformations
- scientific article; zbMATH DE number 749804
- On categorical graph grammars integrating structural transformations and operations on labels
- Unfolding Grammars in Adhesive Categories
- Foundations of Software Science and Computation Structures
Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Title not available (Why is that?)
- Foundations of Software Science and Computation Structures
- Categories of partial maps
- Unfolding Grammars in Adhesive Categories
- Petri nets, algebras, morphisms, and compositionality
- Title not available (Why is that?)
- The category of typed graph grammars and its adjunctions with categories of derivations
- Title not available (Why is that?)
- Title not available (Why is that?)
- Weak Adhesive High-Level Replacement Categories and Systems: A Unifying Framework for Graph and Petri Net Transformations
Cited In (3)
This page was built for publication: Grammar Morphisms and Weakly Adhesive Categories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3540427)
