@Inproceedings{BBQS12,
   status = {public},
   link = {http://apice.unibo.it/xwiki/bin/download/AGERE2012/AcceptedPapers/ageresplash2012submission9.pdf},
   task = {T2.1},
   booktitle = {Proceedings of AGERE! Workshop (SPLASH'12)},
   joint-pub = {false},
   year = {2012},
   invited = {noa},
   timestamp = {2012.10.31},
   main = {no},
   title = {{Optimized Distributed Implementation of Multiparty Interactions with Observation}},
   author = {Saddek Bensalem and Marius Bozga and Jean Quilbeuf and Joseph Sifakis},
   period = {year2},
   owner = {kroiss},
   accessible = {true},
   partner = {Verimag},
   ascens_ref = {true},
   wp = {WP2}
}