@Techreport{LLMS14:TR11,
   status = {public},
   number = {11},
   link = {http://pmi.ascens-ist.eu/text_files/0000/0094/StocS_TRAsns.pdf},
   task = {T1.1},
   month = {February},
   year = {2014},
   invited = {no},
   main = {no},
   title = {{On STOCS: a Stochastic extension of SCEL}},
   author = {Diego Latella and Michele Loreti and Mieke Massink and Valerio Senni},
   period = {year3},
   institution = {ASCENS},
   partner = {IMT,ISTI,UDF},
   wp = {wp1}
}