• Checking bisimilarity for attributed graph transformation 

      Orejas Valdés, Fernando; Boronat Moll, Artur; Golas, Ulrike; Mylonakis Pascual, Nicolás (2012)
      Report de recerca
      Accés obert
      Borrowed 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 ...