@Misc{De+14Luca,
   status = {public},
   task = {T2.1},
   year = {2014},
   invited = {yes},
   main = {no},
   note = {Microsoft Research Technical Report MSR-TR-2014-104},
   title = {{Two possibly alternative approaches to the semantics of stochastic process calculi}},
   editor = {Martín Abadi and Philippa Gardner and Adrew D. Gordon and Radu Mardare},
   author = {Rocco De Nicola and Diego Latella and Michele Loreti and Mieke Massink},
   period = {year4},
   partner = {UDF, ISTI, IMT},
   wp = {2}
}