@Article{DBLP:journals/scp/BensalemBQS15,
   biburl = {http://dblp.uni-trier.de/rec/bib/journals/scp/BensalemBQS15},
   status = {public},
   link = {http://www-verimag.imag.fr/~jcombaz/misc/quilbeuf2015.pdf},
   task = {T2.1},
   doi = {10.1016/j.scico.2014.02.013},
   bibsource = {dblp computer science bibliography, http://dblp.org},
   year = {2015},
   invited = {no},
   timestamp = {Tue, 06 Jan 2015 19:47:50 +0100},
   volume = {98},
   main = {no},
   title = {{Optimized distributed implementation of multiparty interactions with Restriction}},
   author = {Saddek Bensalem and Marius Bozga and Jean Quilbeuf and Joseph Sifakis},
   period = {year4},
   journal = {Sci. Comput. Program.},
   partner = {UJF-Verimag},
   wp = {WP2},
   pages = {293--316}
}