Ehrig, Hartmut; Golas, Ulrike; Habel, Annegret; Lambers, Leen; Orejas, Fernando \(\mathcal{M}\)-adhesive transformation systems with nested application conditions. I: Parallelism, concurrency and amalgamation. (English) Zbl 1342.68176 Math. Struct. Comput. Sci. 24, No. 4, Article ID e240406, 48 p. (2014). MSC: 68Q42 18B20 68Q85 PDFBibTeX XMLCite \textit{H. Ehrig} et al., Math. Struct. Comput. Sci. 24, No. 4, Article ID e240406, 48 p. (2014; Zbl 1342.68176) Full Text: DOI
Golas, Ulrike; Lambers, Leen; Ehrig, Hartmut; Giese, Holger Toward bridging the gap between formal foundations and current practice for triple graph grammars. Flexible relations between source and target elements. (English) Zbl 1367.68134 Ehrig, Hartmut (ed.) et al., Graph transformations. 6th international conference, ICGT 2012, Bremen, Germany, September 24–29, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33653-9/pbk). Lecture Notes in Computer Science 7562, 141-155 (2012). MSC: 68Q42 PDFBibTeX XMLCite \textit{U. Golas} et al., Lect. Notes Comput. Sci. 7562, 141--155 (2012; Zbl 1367.68134) Full Text: DOI
Ehrig, Hartmut; Golas, Ulrike; Habel, Annegret; Lambers, Leen; Orejas, Fernando \(\mathcal M\)-adhesive transformation systems with nested application conditions. II: Embedding, critical pairs and local confluence. (English) Zbl 1242.68128 Fundam. Inform. 118, No. 1-2, 35-63 (2012). MSC: 68Q42 68R10 68Q65 PDFBibTeX XMLCite \textit{H. Ehrig} et al., Fundam. Inform. 118, No. 1--2, 35--63 (2012; Zbl 1242.68128) Full Text: DOI
Golas, Ulrike; Lambers, Leen; Ehrig, Hartmut; Orejas, Fernando Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs. (English) Zbl 1284.68324 Theor. Comput. Sci. 424, 46-68 (2012). MSC: 68Q42 18B99 68Q65 68R10 PDFBibTeX XMLCite \textit{U. Golas} et al., Theor. Comput. Sci. 424, 46--68 (2012; Zbl 1284.68324) Full Text: DOI
Ehrig, Hartmut; Habel, Annegret; Lambers, Leen; Orejas, Fernando; Golas, Ulrike Local confluence for rules with nested application conditions. (English) Zbl 1306.68068 Ehrig, Hartmut (ed.) et al., Graph transformations. 5th international conference, ICGT 2010, Enschede, The Netherlands, September 27 – October 2, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15927-5/pbk). Lecture Notes in Computer Science 6372, 330-345 (2010). MSC: 68Q42 PDFBibTeX XMLCite \textit{H. Ehrig} et al., Lect. Notes Comput. Sci. 6372, 330--345 (2010; Zbl 1306.68068) Full Text: DOI Link
Lambers, Leen; Ehrig, Hartmut; Orejas Fernando Efficient conflict detection in graph transformation systems by essential critical pairs. (English) Zbl 1283.68185 Bruni, Roberto (ed.) et al., Proceedings of the 5th international workshop on graph transformation and visual modeling techniques (GT-VMT 2006), Vienna, Austria, April 1–2, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 211, 17-26 (2008). MSC: 68Q42 05C62 PDFBibTeX XMLCite \textit{L. Lambers} et al., Electron. Notes Theor. Comput. Sci. 211, 17--26 (2008; Zbl 1283.68185) Full Text: DOI
Lambers, Leen; Ehrig, Hartmut; Prange, Ulrike; Orejas, Fernando Parallelism and concurrency in adhesive high-level replacement systems with negative application conditions. (English) Zbl 1277.68194 Ehrig, H. (ed.) et al., Proceedings of the second workshop on applied and computational category theory (ACCAT 2007), Braga, Portugal, March 25, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 203, No. 6, 43-66 (2008). MSC: 68Q85 PDFBibTeX XMLCite \textit{L. Lambers} et al., Electron. Notes Theor. Comput. Sci. 203, No. 6, 43--66 (2008; Zbl 1277.68194) Full Text: DOI
Rangel, Guilherme; Lambers, Leen; König, Barbara; Ehrig, Hartmut; Baldan, Paolo Behavior preservation in model refactoring using DPO transformations with borrowed contexts. (English) Zbl 1175.68231 Ehrig, Hartmut (ed.) et al., Graph transformations. 4th international conference, ICGT 2008, Leicester, United Kingdom, September 7–13, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-87404-1/pbk). Lecture Notes in Computer Science 5214, 242-256 (2008). MSC: 68Q42 68N30 PDFBibTeX XMLCite \textit{G. Rangel} et al., Lect. Notes Comput. Sci. 5214, 242--256 (2008; Zbl 1175.68231) Full Text: DOI
Lambers, Leen; Ehrig, Hartmut; Prange, Ulrike; Orejas, Fernando Embedding and confluence of graph transformations with negative application conditions. (English) Zbl 1175.68227 Ehrig, Hartmut (ed.) et al., Graph transformations. 4th international conference, ICGT 2008, Leicester, United Kingdom, September 7–13, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-87404-1/pbk). Lecture Notes in Computer Science 5214, 162-177 (2008). MSC: 68Q42 PDFBibTeX XMLCite \textit{L. Lambers} et al., Lect. Notes Comput. Sci. 5214, 162--177 (2008; Zbl 1175.68227) Full Text: DOI
Prange, Ulrike; Ehrig, Hartmut; Lambers, Leen Construction and properties of adhesive and weak adhesive high-level replacement categories. (English) Zbl 1143.18005 Appl. Categ. Struct. 16, No. 3, 365-388 (2008). MSC: 18B20 68Q42 18A05 18A30 18A32 18C10 18D99 PDFBibTeX XMLCite \textit{U. Prange} et al., Appl. Categ. Struct. 16, No. 3, 365--388 (2008; Zbl 1143.18005) Full Text: DOI
Lambers, Leen; Ehrig, Hartmut; Orejas, Fernando Conflict detection for graph transformation with negative application conditions. (English) Zbl 1156.68431 Corradini, Andrea (ed.) et al., Graph transformations. Third international conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17–23, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-38870-8/pbk). Lecture Notes in Computer Science 4178, 61-76 (2006). MSC: 68Q42 68R10 PDFBibTeX XMLCite \textit{L. Lambers} et al., Lect. Notes Comput. Sci. 4178, 61--76 (2006; Zbl 1156.68431) Full Text: DOI