@Inproceedings{MS:LSFA2014:pastry,
   status = {public},
   task = {T2.1},
   publisher = {Elsevier},
   booktitle = {Proc. LSFA 2014, 9th Workshop on Logical and Semantic Frameworks, with Applications},
   series = {Electronic Notes in Theoretical Computer Science},
   year = {2014},
   invited = {no},
   main = {no},
   note = {to appear},
   title = {{Network-Conscious Pi-Calculus - A Model of Pastry}},
   author = {Ugo Montanari and Matteo Sammartino},
   period = {year4},
   partner = {UNIPI},
   wp = {WP2,WP7}
}