|
[SL94]
R. Segala and N. Lynch.
Probabilistic Simulations for Probabilistic Processes.
In B. Jonsson and J. Parrow (editors), Proc. 5th International Conference on Concurrency Theory (CONCUR'94), volume 836 of LNCS, pages 481--496, Springer.
1994.
[bib]
|
|
Downloads:
 bib
|
|
Notes:
The original publication is available at link.springer.com.
|
|
Links:
[Google]
[Google Scholar]
|