Logical Characterizations of Bisimulations for Discrete Probabilistic Systems

  title={Logical Characterizations of Bisimulations for Discrete Probabilistic Systems},
  author={Augusto Parma and Roberto Segala},
We give logical characterizations of bisimulation relations for the probabilistic automata of Segala in terms of three Hennessy-Milner style logics. The three logics characterize strong, strong probabilistic and weak probabilistic bisimulation, and differ only in the kind of diamond operator used. Compared to the Larsen and Skou logic for reactive systems, these logics introduce a new operator that measures the probability of the set of states that satisfy a formula. Moreover, the satisfaction… CONTINUE READING
Highly Influential
This paper has highly influenced 11 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 79 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.


Publications citing this paper.
Showing 1-10 of 46 extracted citations

Coalgebraic Methods in Computer Science

Lecture Notes in Computer Science • 2012
View 7 Excerpts
Highly Influenced

Nondeterministic Labeled Markov Processes: Bisimulations and Logical Characterization

2009 Sixth International Conference on the Quantitative Evaluation of Systems • 2009
View 4 Excerpts
Highly Influenced

79 Citations

Citations per Year
Semantic Scholar estimates that this publication has 79 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 18 references

Bisimulation through Probabilistic Testing

Inf. Comput. • 1991
View 8 Excerpts
Highly Influenced

Time and Probability in Formal Design of Distributed Systems

H. Hansson
PhD thesis, • 1991
View 6 Excerpts
Highly Influenced

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

Second International Conference on the Quantitative Evaluation of Systems (QEST'05) • 2005
View 6 Excerpts

D’Argenio. Tutte le algebre insieme: Concepts, discussions and relations of stochastic process algebras with general distributions

P.R.M. Bravetti
In B Haverkort et al, editor, Proc. of GI/Dagstuhl Research Seminar Validation of Stochastic Systems, Dagstuhl Germany, • 2004

Similar Papers

Loading similar papers…