Process equivalences as global bisimulations
ISSN: 0958-695X, 0948-6968
Año de publicación: 2006
Volumen: 12
Número: 11
Páginas: 1521-1550
Tipo: Aportación congreso
ISSN: 0958-695X, 0948-6968
Año de publicación: 2006
Volumen: 12
Número: 11
Páginas: 1521-1550
Tipo: Aportación congreso