<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes"^^ . "Two of the most studied extensions of trace and testing equivalences to non-deterministic and probabilistic processes induce distinctions that have been questioned and\r\nlack properties that are desirable. Probabilistic trace-distribution equivalence differentiates systems that can perform the same set of traces with the same probabilities, and is not a congruence for parallel composition. Probabilistic testing equivalence, which relies only\r\non extremal success probabilities, is backward compatible with testing equivalences for restricted classes of processes, such as fully nondeterministic processes or generative/reactive probabilistic processes, only if specific sets of tests are admitted. In this paper, new versions of probabilistic trace and testing equivalences are presented for the general class of nondeterministic and probabilistic processes. The new trace equivalence is coarser because it compares execution probabilities of single traces instead of entire trace distributions, and turns out to be compositional. The new testing equivalence requires matching all resolutions of nondeterminism on the basis of their success probabilities, rather than comparing\r\nonly extremal success probabilities, and considers success probabilities in a trace-by-trace fashion, rather than cumulatively on entire resolutions. It is fully backward compatible with testing equivalences for restricted classes of processes; as a consequence, the trace-\r\nby-trace approach uniformly captures the standard probabilistic testing equivalences for generative and reactive probabilistic processes. The paper discusses in full details the new equivalences and provides a simple spectrum that relates them with existing ones in the\r\nsetting of nondeterministic and probabilistic processes."^^ . "2013-03" . . "04" . . "IMT Institute for Advanced Studies Lucca"^^ . . . . . . . . . . . . . "Marco"^^ . "Bernardo"^^ . "Marco Bernardo"^^ . . "Rocco"^^ . "De Nicola"^^ . "Rocco De Nicola"^^ . . "Michele"^^ . "Loreti"^^ . "Michele Loreti"^^ . . . . . . "Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes (PDF)"^^ . . . . . . "CSA_TR_2013_4.pdf"^^ . . . "Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes (Other)"^^ . . . . . . "lightbox.jpg"^^ . . . "Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes (Other)"^^ . . . . . . "preview.jpg"^^ . . . "Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes (Other)"^^ . . . . . . "medium.jpg"^^ . . . "Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes (Other)"^^ . . . . . . "small.jpg"^^ . . "HTML Summary of #1523 \n\nRevisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .