(Bi)simulations up-to characterise process semantics
ISSN: 1090-2651, 0890-5401
Année de publication: 2009
Volumen: 207
Número: 2
Pages: 146-170
Type: Communication dans un congrès
ISSN: 1090-2651, 0890-5401
Année de publication: 2009
Volumen: 207
Número: 2
Pages: 146-170
Type: Communication dans un congrès