TY - GEN
T1 - Symbolic bisimulations for probabilistic systems
AU - Wu, Peng
AU - Palamidessi, Catuscia
AU - Lin, Huimin
PY - 2007/1/1
Y1 - 2007/1/1
N2 - The paper introduces symbolic bisimulations for a simple probabilistic π-calculus to overcome the infinite branching problem that still exists in checking ground bisimulations between probabilistic systems. Especially the definition of weak (symbolic) bisimulation does not rely on the random capability of adversaries and suggests a solution to the open problem on the axiomatization for weak bisimulation in the case of unguarded recursion. Furthermore, we present an efficient characterization of symbolic bisimulations for the calculus, which allows the "on-the-fly" instantiation of bound names and dynamic construction of equivalence relations for quantitative evaluation. This directly results in a local decision algorithm that can explore just a minimal portion of the state spaces of the probabilistic processes in question.
AB - The paper introduces symbolic bisimulations for a simple probabilistic π-calculus to overcome the infinite branching problem that still exists in checking ground bisimulations between probabilistic systems. Especially the definition of weak (symbolic) bisimulation does not rely on the random capability of adversaries and suggests a solution to the open problem on the axiomatization for weak bisimulation in the case of unguarded recursion. Furthermore, we present an efficient characterization of symbolic bisimulations for the calculus, which allows the "on-the-fly" instantiation of bound names and dynamic construction of equivalence relations for quantitative evaluation. This directly results in a local decision algorithm that can explore just a minimal portion of the state spaces of the probabilistic processes in question.
U2 - 10.1109/QEST.2007.46
DO - 10.1109/QEST.2007.46
M3 - Conference contribution
AN - SCOPUS:47949091646
SN - 076952883X
SN - 9780769528830
T3 - Proceedings - 4th International Conference on the Quantitative Evaluation of Systems, QEST 2007
SP - 179
EP - 188
BT - Proceedings - 4th International Conference on the Quantitative Evaluation of Systems, QEST 2007
PB - IEEE Computer Society
T2 - 4th International Conference on the Quantitative Evaluation of Systems, QEST 2007
Y2 - 17 September 2007 through 19 September 2007
ER -