Optimized distributed implementation of multiparty interactions with observation

Saddek Bensalem, Marius Bozga, Jean Quilbeuf, Joseph Sifakis. Optimized distributed implementation of multiparty interactions with observation. In Gul A. Agha, Rafael H. Bordini, Assaf Marron, Alessandro Ricci, editors, Proceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions, AGERE! 2012, October 21-22, 2012, Tucson, Arizona, USA. pages 71-82, ACM, 2012. [doi]

@inproceedings{BensalemBQS12-0,
  title = {Optimized distributed implementation of multiparty interactions with observation},
  author = {Saddek Bensalem and Marius Bozga and Jean Quilbeuf and Joseph Sifakis},
  year = {2012},
  doi = {10.1145/2414639.2414649},
  url = {http://doi.acm.org/10.1145/2414639.2414649},
  researchr = {https://researchr.org/publication/BensalemBQS12-0},
  cites = {0},
  citedby = {0},
  pages = {71-82},
  booktitle = {Proceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions, AGERE! 2012, October 21-22, 2012, Tucson, Arizona, USA},
  editor = {Gul A. Agha and Rafael H. Bordini and Assaf Marron and Alessandro Ricci},
  publisher = {ACM},
  isbn = {978-1-4503-1630-9},
}