?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Adc&rft.relation=http%3A%2F%2Feprints.imtlucca.it%2F1323%2F&rft.title=A+uniform+framework+for+modelling+nondeterministic%2C+probabilistic%2C+stochastic%2C+or+mixed+processes+and+their+behavioral+equivalences&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=Labeled+transition+systems+are+typically+used+as+behavioral+models+of+concurrent+processes%2C+and+the+labeled+transitions+define+the+a+one-step+state-to-state+reachability+relation.+This+model+can+be+made+generalized+by+modifying+the+transition+relation+to+associate+a+state+reachability+distribution%2C+rather+than+a+single+target+state%2C+with+any+pair+of+source+state+and+transition+label.+The+state+reachability+distribution+becomes+a+function+mapping+each+possible+target+state+to+a+value+that+expresses+the+degree+of+one-step+reachability+of+that+state.+Values+are+taken+from+a+preordered+set+equipped+with+a+minimum+that+denotes+unreachability.+By+selecting+suitable+preordered+sets%2C+the+resulting+model%2C+called+ULTraS+from+Uniform+Labeled+Transition+System%2C+can+be+specialized+to+capture+well-known+models+of+fully+nondeterministic+processes+(LTS)%2C+fully%0D%0Aprobabilistic+processes+(ADTMC)%2C+fully+stochastic+processes+(ACTMC)%2C+and+of+nondeterministic+and+probabilistic+(MDP)+or+nondeterministic+and+stochastic+(CTMDP)+processes.+This+uniform+treatment+of+different+behavioral+models+extends+to+behavioral+equivalences.+These+can+be+defined+on+ULTraS+by+relying+on+appropriate+measure+functions+that+expresses+the+degree+of+reachability+of+a+set+of+states+when+performing%0D%0Asingle-step+or+multi-step+computations.+It+is+shown+that+the+specializations+of+bisimulation%2C+trace%2C+and+testing%0D%0Aequivalences+for+the+different+classes+of+ULTraS+coincide+with+the+behavioral+equivalences+defined+in+the+literature+over+traditional+models.&rft.publisher=IMT+Institute+for+Advanced+Studies+Lucca&rft.date=2012-08-03&rft.type=Working+Paper&rft.type=NonPeerReviewed&rft.format=application%2Fpdf&rft.language=en&rft.identifier=http%3A%2F%2Feprints.imtlucca.it%2F1323%2F1%2FCSA_TR_2_2012.pdf&rft.identifier=++Bernardo%2C+Marco+and+De+Nicola%2C+Rocco+and+Loreti%2C+Michele++A+uniform+framework+for+modelling+nondeterministic%2C+probabilistic%2C+stochastic%2C+or+mixed+processes+and+their+behavioral+equivalences.++CSA+Technical+Report++%2302%2F2012++++IMT+Institute+for+Advanced+Studies+Lucca+++++++++