Comparative analysis of bisimulation relations on alternating and non-alternating probabilistic models

QEST 2005 - Proceedings Second International Conference on the Quantitative Evaluation of SysTems

Volumn 2005, Issue , 2005, Pages 44-53

  Segala, Roberto ^a   Turrini, Andrea ^a  

^a UNIVERSITY OF VERONA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

BISIMULATION RELATIONS; COMPARATIVE ANALYSIS; LABELED MARKOV CHAINS;

AUTOMATA THEORY; COMPUTER SIMULATION; MARKOV PROCESSES; MATHEMATICAL MODELS; OPTIMIZATION;

PROBABILISTIC LOGICS;

EID: 33847266970     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/QEST.2005.9     Document Type: Conference Paper

References (13)

1. C. Baier and H. Hermanns, "Weak bisimulation for fully probabilistic processes," CTIT, University of Twente, Tech. Rep. 99/12, 1999.
2. C. Baier, H. Hermanns, J-P.Katoen, and V. Wolf, "Comparative branching-time semantics for markov chains (extended abstract)," Proc. CONCUR, lncs 2761, pp. 492-507, 2003.
3. th ICALP, lncs 2076, pp. 370-381, 2001.
4. Y. Deng, "Axiomatisations and types for probabilistic and mobile processes" Ph.D. th., Ec. de Mines, 2005.
5. th LICS, pp. 130-141, 1990.
6. H. Hansson, "Time and probability in formal design of distributed systems," Ph.D. th., Uppsala, 1991.
7. th POPL, pp. 344-352, 1989.
8. A. Philippou, I. Lee, and O. Sokolsky, "Weak bisimulation for probabilistic systems," Proc. CONCUR, lncs 1877, pp. 334-349, 2000.
9. M. Rabin, "Probabilistic automata," Information and Control, vol. 6, pp. 230-245, 1963.
10. R. Segala, "Modeling and verification of randomized distributed real-time systems," Ph.D. th., MIT, 1995.
11. R. Segala and N. Lynch, "Probabilistic simulations for probabilistic processes," Proc. CONCUR, lncs 836, pp. 481-496, 1994.
12. A. Sokolova and E. d. Vink, "Probabilistic automata: system types, parallel composition and comparison," Validation of Stochastic Systems, lncs 2925, 2004.
13. M. Vardi, "Automatic verification of probabilistic concurrent finite-state programs," Proc. 26th FOCS, pp. 327-338, 1985.