@Article{DBLP:journals/tcs/BernardoNL14,
   assoc_res = {Marco Bernardo},
   status = {public},
   link = {http://dx.doi.org/10.1016/j.tcs.2014.03.001},
   task = {T1.3},
   doi = {10.1016/j.tcs.2014.03.001},
   year = {2014},
   invited = {no},
   timestamp = {Mon, 11 Aug 2014 13:16:05 +0200},
   volume = {546},
   main = {no},
   biburl = {http://dblp.uni-trier.de/rec/bib/journals/tcs/BernardoNL14},
   title = {{Relating strong behavioral equivalences for processes with nondeterminism
and probabilities}},
   author = {Marco Bernardo and Rocco {De Nicola} and Michele Loreti},
   period = {year4},
   journal = {Theor. Comput. Sci.},
   bibsource = {dblp computer science bibliography, http://dblp.org},
   partner = {IMT},
   wp = {WP1},
   pages = {63--92}
}