(Bi)simulations up-to characterise process semantics
ISSN: 1090-2651, 0890-5401
Year of publication: 2009
Volume: 207
Issue: 2
Pages: 146-170
Type: Conference paper
ISSN: 1090-2651, 0890-5401
Year of publication: 2009
Volume: 207
Issue: 2
Pages: 146-170
Type: Conference paper