Login / Signup

Exploring probabilistic bisimulations, part I.

Matthew Hennessy
Published in: Formal Aspects Comput. (2012)
Keyphrases