@article{BBQ+5,
title = { Optimized distributed implementation of multiparty interactions with Restriction },
author = {Bensalem, Saddek and Bozga, Marius and Quilbeuf, Jean and Sifakis, Joseph},
year = {2015},
journal = {Sci. Comput. Program.},
pages = {293--316},
volume = {98},
team = {rsd, dcs, DCS, RSD},
}
