<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes"^^ . "We consider PML, the probabilistic version of Hennessy-Milner logic introduced by Larsen and Skou to characterize bisimilarity over probabilistic processes without internal\r\nnondeterminism.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\r\nas 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\r\ninterpreted 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."^^ . "2013-04" . . "06" . . "IMT Institute for Advanced Studies Lucca"^^ . . . . . . . . . . . . . "Marco"^^ . "Bernardo"^^ . "Marco Bernardo"^^ . . "Rocco"^^ . "De Nicola"^^ . "Rocco De Nicola"^^ . . "Michele"^^ . "Loreti"^^ . "Michele Loreti"^^ . . . . . . "Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes (PDF)"^^ . . . . . "CSA_TR_2013_6.pdf"^^ . . . "Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes (Other)"^^ . . . . . . "lightbox.jpg"^^ . . . "Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes (Other)"^^ . . . . . . "preview.jpg"^^ . . . "Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes (Other)"^^ . . . . . . "medium.jpg"^^ . . . "Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes (Other)"^^ . . . . . . "small.jpg"^^ . . "HTML Summary of #1553 \n\nRevisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .