×

Found 11 Documents (Results 1–11)

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
Full Text: DOI

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
Full Text: DOI Link

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field

all top 3

Software