(Bi)simulations up-to characterise process semantics
ISSN: 1090-2651, 0890-5401
Argitalpen urtea: 2009
Alea: 207
Zenbakia: 2
Orrialdeak: 146-170
Mota: Biltzar ekarpena
ISSN: 1090-2651, 0890-5401
Argitalpen urtea: 2009
Alea: 207
Zenbakia: 2
Orrialdeak: 146-170
Mota: Biltzar ekarpena