23 search results - page 2 / 5 » Multi-Amalgamation in Adhesive Categories |
CAI
2007
Springer
14 years 1 months ago
2007
Springer
In this paper, we present an overview of algebraic graph transformation in the double pushout approach. Basic results concerning independence, parallelism, concurrency, embedding, ...
ECEASST
2006
13 years 7 months ago
2006
Abstract. Adhesive high-level replacement (HLR) system have been recently introduced as a new categorical framework for graph transformation in the double pushout approach [1, 2]. ...
ACS
2008
13 years 7 months ago
2008
RELMICS
2009
Springer
14 years 2 months ago
2009
Springer
We define collagories essentially as “distributive allegories without zero morphisms”, and show that they are sufficient for accommodating the relation-algebraic approach to ...
ECEASST
2010
13 years 2 months ago
2010
Abstract. We present Local Church-Rosser, Parallelism, and Concurrency Theorems for rules with nested application conditions in the framework of weak adhesive HLR categories includ...