(Bi)simulations up-to characterise process semantics
ISSN: 1090-2651, 0890-5401
Any de publicació: 2009
Volum: 207
Número: 2
Pàgines: 146-170
Tipus: Aportació congrés
ISSN: 1090-2651, 0890-5401
Any de publicació: 2009
Volum: 207
Número: 2
Pàgines: 146-170
Tipus: Aportació congrés