@inproceedings{65ff72665e0d4498b5d38769413d4957,
title = "Characterising probabilistic processes logically: (Extended abstract)",
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",
note = "Publisher Copyright: {\textcopyright} 2010, Springer-Verlag Berlin Heidelberg.; 17th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2010 ; Conference date: 10-10-2010 Through 15-10-2010",
year = "2010",
doi = "10.1007/978-3-642-16242-8\_20",
language = "英语",
isbn = "9783642162411",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "278--293",
editor = "Fermuller, \{Christian G.\} and Andrei Voronkov",
booktitle = "Logic for Programming, Artificial Intelligence, and Reasoning - 17th International Conference, LPAR-17, Proceedings",
address = "德国",
}