Probabilistic Simulations for Probabilistic Processes

[SL95] R. Segala and N. Lynch. Probabilistic Simulations for Probabilistic Processes. Nordic Journal of Computing, 2(2), pages 250-273. 1995. [bib]

Downloads: $bib$ bib

Links: [Google] [Google Scholar]