eprintid: 1553
rev_number: 22
eprint_status: archive
userid: 6
dir: disk0/00/00/15/53
datestamp: 2013-04-19 11:54:44
lastmod: 2014-03-10 10:42:41
status_changed: 2014-03-10 10:12:35
type: monograph
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: Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: public
monograph_type: imt_cs_techninal_report
note: Updated on March 2014
abstract: We consider PML, the probabilistic version of Hennessy-Milner logic introduced by Larsen and Skou to characterize bisimilarity over probabilistic processes without internal
nondeterminism.We provide two different interpretations for PML by considering nondeterministic and probabilistic processes as models, and we exhibit two new bisimulation-based equivalences that are in full agreement with those interpretations. Our new equivalences include
as coarsest congruences the two bisimilarities for nondeterministic and probabilistic processes proposed by Segala and Lynch. The latter equivalences are instead in agreement with two versions of Hennessy-Milner logic extended with an additional probabilistic operator
interpreted over state distributions rather than over individual states. Thus, our new interpretations of PML and the corresponding new bisimilarities offer a uniform framework for reasoning on processes that are purely nondeterministic or reactive probabilistic or are mixing nondeterminism and probability in an alternating/non-alternating way.
date: 2013-04
date_type: published
number: 06
publisher: IMT Institute for Advanced Studies Lucca
pages: 40
institution: IMT Institute for Advanced Studies Lucca
citation:   Bernardo, Marco and De Nicola, Rocco and Loreti, Michele  Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes.  CSA Technical Report  #06/2013    IMT Institute for Advanced Studies Lucca         
document_url: http://eprints.imtlucca.it/1553/1/CSA_TR_2013_6.pdf