@Inproceedings{EPTCS175.5,
  author    = {Henrio, Ludovic and Kulankhina, Oleksandra and Liu, Dongqian and Madelaine, Eric},
  year      = {2015},
  title     = {Verifying the correct composition of distributed components: Formalisation and Tool},
  editor    = {C\'amara, Javier and Proen\c{c}a, Jos\'e},
  booktitle = {{\rm Proceedings 13th International Workshop on}
               Foundations of Coordination Languages and Self-Adaptive Systems,
               {\rm Rome, Italy, 6th September 2014}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {175},
  publisher = {Open Publishing Association},
  pages     = {69-85},
  doi       = {10.4204/EPTCS.175.5},
}