@Article{BDL13,
   status = {private},
   task = {T2.1},
   doi = {10.1016/j.ic.2013.02.004},
   joint-pub = {true},
   year = {2013},
   invited = {no},
   timestamp = {2013.11.07},
   volume = {225},
   main = {yes},
   title = {{A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences}},
   author = {Marco Bernardo and Rocco De Nicola and Michele Loreti},
   period = {year3},
   journal = {Information and Computation},
   owner = {kroiss},
   accessible = {true},
   partner = {IMT,UDF},
   ascens_ref = {true},
   wp = {WP2},
   pages = {29-82}
}