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


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… (More)


  • Presentations referencing similar topics