@inproceedings{333a2cf302224f5a9c5e181d4f73f58a,
title = "Characterising probabilistic processes logically",
abstract = "In this paper we work on (bi)simulation semantics of processes that exhibit both nondeterministic and probabilistic behaviour. We propose a probabilistic extension of the modal mu-calculus and show how to derive characteristic formulae for various simulation-like preorders over finite-state processes without divergence. In addition, we show that even without the fixpoint operators this probabilistic mu-calculus can be used to characterise these behavioural relations in the sense that two states are equivalent if and only if they satisfy the same set of formulae.",
author = "Yuxin Deng and \{Van Glabbeek\}, Rob",
year = "2010",
doi = "10.1007/978-3-642-16242-8-20",
language = "英语",
isbn = "364216241X",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "278--293",
editor = "Fermuller, \{Christian G.\}",
booktitle = "Logic for Programming, Artificial Intelligence, and Reasoning - 17th International Conference, LPAR-17, Proceedings",
note = "17th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-17 ; Conference date: 10-10-2010 Through 15-10-2010",
}