loading...
Comparative Analysis of Bisimulation Relations on Alternating and Non-Alternating Probabilistic Models
Torino, Italy September 19-September 22
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/QEST.2005.9Second International Conference on th ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Roberto Segala, Universita di Verona
Andrea Turrini, Universita di Verona
We consider bisimulation and weak bisimulation relations in the context of the Labeled Markov Chains of Hansson and Jonsson, the Concurrent Labeled Markov Chains of Philippou, Lee, and Sokolsky, and the Probabilistic Automata of Segala. We identify a taxonomy of bisimulation relations that captures the existing definitions for each one of the three models, and we compare the relations within each model and across models. The comparison across models is given according to a notion of embedding, where we order the three models by generality and we view objects in less general models as objects of more general models.
Citation:
Roberto Segala, Andrea Turrini, "Comparative Analysis of Bisimulation Relations on Alternating and Non-Alternating Probabilistic Models," qest, pp.44-53, Second International Conference on the Quantitative Evaluation of Systems (QEST'05), 2005
Usage of this product signifies your acceptance of the Terms of Use.