Login / Signup

Probabilistic I/O Automata: Theories of Two Equivalences.

Eugene W. StarkRance CleavelandScott A. Smolka
Published in: CONCUR (2006)
Keyphrases