Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Borrowed contexts for attributed graphs

Autor
Orejas, F.; Boronat, A.; Mylonakis, N.
Tipus d'activitat
Document cientificotècnic
Data
2012
Codi
LSI-12-7-R
Repositori
http://hdl.handle.net/2117/91290 Obrir en finestra nova
Resum
Borrowed context graph transformation is a simple and powerful technique developed by Ehrig and König that allow us to derive labeled transitions and bisimulation congruences for graph transformation systems or, in general, for pocess calculi that can be defined in terms of graph transformation systems. Moreover, the same authors have also shown how to use this technique for the verification of bisimilarity. In principle, the main results about borrowed context transformation do not apply only ...
Citació
Orejas, F., Boronat, A., Mylonakis, N. "Borrowed contexts for attributed graphs". 2012.
Paraules clau
Graph Transformation
Grup de recerca
ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals

Participants

Arxius