×

Found 10 Documents (Results 1–10)

Termination criteria for DPO transformations with injective matches. (English) Zbl 1278.68123

Rensink, Arend (ed.) et al., Proceedings of the workshop on graph transformation for concurrency and verification (GT-VC 2006), Bonn, Germany, August 31, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 175, No. 4, 87-100 (2007).
MSC:  68Q42 68R10
PDFBibTeX XMLCite
Full Text: DOI

Termination analysis of model transformations by Petri nets. (English) Zbl 1156.68501

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, 260-274 (2006).
MSC:  68Q85 68N30 68Q42
PDFBibTeX XMLCite
Full Text: DOI

Categorical foundations of distributed graph transformation. (English) Zbl 1157.68039

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, 215-229 (2006).
MSC:  68Q42 18A10 18A30 18E15 68R10
PDFBibTeX XMLCite
Full Text: DOI

Fundamental theory for typed attributed graph transformation. (English) Zbl 1116.68481

Ehrig, Hartmut (ed.) et al., Graph transformations. Second international conference, ICGT 2004, Rome, Italy, September 28 – October 2, 2004. Proceedings. Berlin: Springer (ISBN 3-540-23207-9/pbk). Lecture Notes in Computer Science 3256, 161-177 (2004).
MSC:  68Q42 68R10
PDFBibTeX XMLCite
Full Text: DOI

Adhesive high-level replacement categories and systems. (English) Zbl 1116.68480

Ehrig, Hartmut (ed.) et al., Graph transformations. Second international conference, ICGT 2004, Rome, Italy, September 28 – October 2, 2004. Proceedings. Berlin: Springer (ISBN 3-540-23207-9/pbk). Lecture Notes in Computer Science 3256, 144-160 (2004).
MSC:  68Q42 68R10
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field

all top 3

Software