?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Adc&rft.relation=http%3A%2F%2Feprints.imtlucca.it%2F1523%2F&rft.title=Revisiting+Trace+and+Testing+Equivalences+for+Nondeterministic+and+Probabilistic+Processes&rft.creator=Bernardo%2C+Marco&rft.creator=De+Nicola%2C+Rocco&rft.creator=Loreti%2C+Michele&rft.subject=QA75+Electronic+computers.+Computer+science&rft.description=Two+of+the+most+studied+extensions+of+trace+and+testing+equivalences+to+non-deterministic+and+probabilistic+processes+induce+distinctions+that+have+been+questioned+and%0D%0Alack+properties+that+are+desirable.+Probabilistic+trace-distribution+equivalence+differentiates+systems+that+can+perform+the+same+set+of+traces+with+the+same+probabilities%2C+and+is+not+a+congruence+for+parallel+composition.+Probabilistic+testing+equivalence%2C+which+relies+only%0D%0Aon+extremal+success+probabilities%2C+is+backward+compatible+with+testing+equivalences+for+restricted+classes+of+processes%2C+such+as+fully+nondeterministic+processes+or+generative%2Freactive+probabilistic+processes%2C+only+if+specific+sets+of+tests+are+admitted.+In+this+paper%2C+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%2C+and+turns+out+to+be+compositional.+The+new+testing+equivalence+requires+matching+all+resolutions+of+nondeterminism+on+the+basis+of+their+success+probabilities%2C+rather+than+comparing%0D%0Aonly+extremal+success+probabilities%2C+and+considers+success+probabilities+in+a+trace-by-trace+fashion%2C+rather+than+cumulatively+on+entire+resolutions.+It+is+fully+backward+compatible+with+testing+equivalences+for+restricted+classes+of+processes%3B+as+a+consequence%2C+the+trace-%0D%0Aby-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%0D%0Asetting+of+nondeterministic+and+probabilistic+processes.&rft.publisher=IMT+Institute+for+Advanced+Studies+Lucca&rft.date=2013-03&rft.type=Working+Paper&rft.type=NonPeerReviewed&rft.format=application%2Fpdf&rft.language=en&rft.rights=cc_by&rft.identifier=http%3A%2F%2Feprints.imtlucca.it%2F1523%2F1%2FCSA_TR_2013_4.pdf&rft.identifier=++Bernardo%2C+Marco+and+De+Nicola%2C+Rocco+and+Loreti%2C+Michele++Revisiting+Trace+and+Testing+Equivalences+for+Nondeterministic+and+Probabilistic+Processes.++CSA+Technical+Report++%2304%2F2013++++IMT+Institute+for+Advanced+Studies+Lucca+++++++++