@Article{BDL14,
   status = {public},
   number = {1},
   link = {http://arxiv.org/abs/1402.5365},
   task = {T2.1},
   doi = {10.2168/LMCS-10(1:16)2014},
   year = {2014},
   invited = {no},
   volume = {10},
   main = {no},
   title = {{Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes}},
   author = {Marco Bernardo and Rocco De Nicola and Michele Loreti},
   period = {year4},
   journal = {Logical Methods in Computer Science},
   partner = {IMT,UDF},
   wp = {WP2},
   pages = {1-16}
}