Exploració per tema "Attributed graph transformation"
Ara es mostren els items 1-1 de 1
-
Checking bisimilarity for attributed graph transformation
(2012)
Report de recerca
Accés obertBorrowed context graph transformation is a technique developed by Ehrig and Koenig to define bisimilarity congruences from reduction semantics defined by graph transformation. This means that, for instance, this technique ...