@Article{DLLMCS13,
   status = {public},
   number = {1},
   task = {T2.1},
   doi = {10.1145/2522968.2522973},
   year = {2013},
   invited = {no},
   volume = {46},
   main = {yes},
   title = {{A uniform definition of stochastic process calculi}},
   author = {Rocco De Nicola and Diego Latella and Michele Loreti and Mieke Massink},
   period = {year4},
   journal = {ACM Comput. Surv.},
   partner = {IMT,ISTI,UDF},
   wp = {WP2},
   pages = {5}
}