(Bi)simulations up-to characterise process semantics
ISSN: 1090-2651, 0890-5401
Año de publicación: 2009
Volumen: 207
Número: 2
Páginas: 146-170
Tipo: Aportación congreso
ISSN: 1090-2651, 0890-5401
Año de publicación: 2009
Volumen: 207
Número: 2
Páginas: 146-170
Tipo: Aportación congreso