Probabilistic Simulations for Probabilistic Processes.

Roberto Segala, Nancy A. Lynch

Browse the full CONCUR paper archive.