@Techreport{De_Nicola_etal_TR_2011_012,
   joint-pub = {true},
   status = {public},
   number = {ISTI-2011-TR-012},
   task = {T2.1,T1.1},
   month = {May},
   reported = {year1},
   year = {2011},
   invited = {no},
   timestamp = {2012.10.31},
   doibookmark = {??},
   main = {no},
   accessible = {true},
   title = {{State to Function Labelled Transition Systems: A Uniform Framework for Defining Stochastic Process Calculi}},
   author = {Rocco {De Nicola} and Diego Latella and Michele Loreti and Mieke Massink},
   period = {year1},
   institution = {CNR - ISTI},
   owner = {kroiss},
   ascens_ref = {true},
   partner = {ISTI,IMT},
   wp = {WP2,WP1}
}