eprintid: 2939
rev_number: 5
eprint_status: archive
userid: 69
dir: disk0/00/00/29/39
datestamp: 2015-11-30 14:55:01
lastmod: 2015-11-30 14:55:01
status_changed: 2015-11-30 14:55:01
type: book_section
metadata_visibility: show
creators_name: Bernardo, Marco
creators_name: De Nicola, Rocco
creators_name: Loreti, Michele
creators_id: 
creators_id: r.denicola@imtlucca.it
creators_id: 
title: Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
note: 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers
abstract: We provide two interpretations, over nondeterministic and probabilistic processes, of PML, the probabilistic version of Hennessy-Milner logic used by Larsen and Skou to characterize bisimilarity of probabilistic processes without internal nondeterminism. We also exhibit two new bisimulation-based equivalences, which are in full agreement with the two different interpretations of PML. The new equivalences are coarser than the bisimilarity for nondeterministic and probabilistic processes proposed by Segala and Lynch, which instead is in agreement with a version of Hennessy-Milner logic extended with an additional probabilistic operator interpreted over state distributions rather than over individual states. The modal logic characterizations provided for the new equivalences thus offer a uniform framework for reasoning on purely nondeterministic processes, reactive probabilistic processes, and nondeterministic and probabilistic processes.
date: 2014
date_type: published
series: Lecture Notes in Computer Science
number: 8358
publisher: Springer
pagerange: 315-330
id_number: 10.1007/978-3-319-05119-2_18
refereed: TRUE
isbn: 978-3-319-05118-5
book_title: Trustworthy Global Computing
official_url: http://dx.doi.org/10.1007/978-3-319-05119-2_18
citation:   Bernardo, Marco and De Nicola, Rocco and Loreti, Michele  Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations.   In:  Trustworthy Global Computing.   Lecture Notes in Computer Science  (8358).  Springer, pp. 315-330.  ISBN 978-3-319-05118-5      (2014)