On the Verification of Qualitative Properties of Probabilistic Processes under Fairness Constraints

  title={On the Verification of Qualitative Properties of Probabilistic Processes under Fairness Constraints},
  author={Christel Baier and Marta Z. Kwiatkowska},
  journal={Inf. Process. Lett.},
We consider sequential and concurrent probabilistic processes and propose a general notion of fairness with respect to probabilistic choice, which allows to express various notions of fairness such as process fairness and event fairness. We show the soundness of proving the validity of qualitative properties of probabilistic processes under fairness constraints in the sense that whenever all fair executions of a probabilistic process fullll a certain linear time property E then E holds for… CONTINUE READING
Highly Cited
This paper has 64 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.


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

64 Citations

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

See our FAQ for additional information.


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

Veri cation of Multiprocess Probabilistic Protocols, Distributed Computing

  • A. Pnueli, L. Zuck
  • 1986
Highly Influential
4 Excerpts

Kwiatkowska: Domain Equations for Probabilistic Processes, Proc. EXPRESS'97

  • M.Z.C. Baier
  • Electronic Notes in Theoretical Computer Science,
  • 1997
2 Excerpts

Reactive, Generative, and Strati ed Models for Probabilistic Processes

  • R. van Glabbeek, S. Smolka, B. Ste en
  • Information and Computation,
  • 1995
2 Excerpts

Similar Papers

Loading similar papers…