Algebraic High-Level Nets as Weak Adhesive HLR Categories

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]. They combine the well-known framework of HLR systems with the framework of adhesive categories introduced by Lack and Soboci

• Type: Journal
• Year: 2006
• Where: ECEASST
• Authors: Ulrike Prange
• Keywords: Adhesive, Adhesive Categories, Adhesive Hlr Categories, ECEASST 2006