Login / Signup

On Behaviour Equivalence for Probabilistic I/O Automata and its Relationship to Probabilistic Bisimulation.

Eugene W. Stark
Published in: J. Autom. Lang. Comb. (2003)
Keyphrases