Probabilistic Simulations for Probabilistic Processes (1994)
Cached
Download Links
- [theory.lcs.mit.edu]
- [theory.lcs.mit.edu]
- DBLP
Other Repositories/Bibliography
| Citations: | 233 - 16 self |
BibTeX
@MISC{Segala94probabilisticsimulations,
author = {Roberto Segala and Nancy Lynch},
title = {Probabilistic Simulations for Probabilistic Processes},
year = {1994}
}
Years of Citing Articles
OpenURL
Abstract
Several probabilistic simulation relations for probabilistic systems are defined and evaluated according to two criteria: compositionality and preservation of "interesting" properties. Here, the interesting properties of a system are identified with those that are expressible in an untimed version of the Timed Probabilistic concurrent Computation Tree Logic (TPCTL) of Hansson. The definitions are made, and the evaluations carried out, in terms of a general labeled transition system model for concurrent probabilistic computation. The results cover weak simulations, which abstract from internal computation, as well as strong simulations, which do not.







