@inproceedings{kobeissi:hal-01868748, TITLE = {{Facilitating the Implementation of Distributed Systems with Heterogeneous Interactions}}, AUTHOR = {Kobeissi, Salwa and Utayim, Adnan and Jaber, Mohamad and Falcone, Yli{\`e}s}, URL = {https://inria.hal.science/hal-01868748}, BOOKTITLE = {{IFM 2018 - 14th International Conference on integrated Formal Methods}}, ADDRESS = {Maynooth, Ireland}, PAGES = {1-19}, YEAR = {2018}, MONTH = Sep, PDF = {https://inria.hal.science/hal-01868748/file/ifm18.pdf}, HAL_ID = {hal-01868748}, HAL_VERSION = {v1}, }