Login / Signup

Probability and Nondeterminism in Operational Models of Concurrency.

Roberto Segala
Published in: CONCUR (2006)
Keyphrases