(Bi)simulations up-to characterise process semantics
ISSN: 1090-2651, 0890-5401
Datum der Publikation: 2009
Ausgabe: 207
Nummer: 2
Seiten: 146-170
Art: Konferenz-Beitrag
ISSN: 1090-2651, 0890-5401
Datum der Publikation: 2009
Ausgabe: 207
Nummer: 2
Seiten: 146-170
Art: Konferenz-Beitrag