Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Checking bisimilarity for attributed graph transformation

Autor
Orejas, F.; Boronat, A.; Golas, U.; Mylonakis, N.
Tipus d'activitat
Document cientificotècnic
Data
2012
Codi
LSI-12-14-R
Repositori
http://hdl.handle.net/2117/96705 Obrir en finestra nova
Resum
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 can be used for defining bisimilarity congruences for process calculi whose operational semantics can be defined by graph transformation. Moreover, given a set of graph transformation rules, the technique can be used for checking bisimilarity of two given graphs. Unfortunately,...
Citació
Orejas, F., Boronat, A., Golas, U., Mylonakis, N. "Checking bisimilarity for attributed graph transformation". 2012.
Paraules clau
Attributed Graph Transformation, Symbolic Graph Transformation, Borrowed Contexts, Bisimilarity
Grup de recerca
ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals

Participants

Arxius