@Inproceedings{DBLP:conf/coordination/BaldanBGM14,
   status = {public},
   task = {T2.1},
   publisher = {Springer},
   doi = {10.1007/978-3-662-43376-8_1},
   booktitle = {Proceedings of the 16th {IFIP} {WG} 6.1 International
Conference on Coordination Models and Languages, ({COORDINATION}) 2014},
   series = {Lecture Notes in Computer Science},
   year = {2014},
   invited = {no},
   volume = {8459},
   main = {no},
   issn = {0302-9743},
   title = {{Encoding Synchronous Interactions Using Labelled Petri Nets}},
   editor = {Eva Kuehn and Rosario Pugliese},
   author = {Paolo Baldan and Filippo Bonchi and Fabio Gadducci and Giacoma Valentina Monreale},
   period = {year4},
   partner = {UNIPI},
   assoc_res = {Paolo Baldan, Filippo Bonchi},
   wp = {WP2},
   pages = {1--16}
}