(Bi)simulations up-to characterise process semantics
ISSN: 1090-2651, 0890-5401
Ano de publicación: 2009
Volume: 207
Número: 2
Páxinas: 146-170
Tipo: Achega congreso
ISSN: 1090-2651, 0890-5401
Ano de publicación: 2009
Volume: 207
Número: 2
Páxinas: 146-170
Tipo: Achega congreso