![HAL Archives-Ouvertes](https://s3.amazonaws.com/weyland.altmetric.com/news_sources/logos/000/001/679/normal/Screen_Shot_2016-01-26_at_14.14.52.png?1453817707)
Luca Padovani, Vasco Vasconcelos, Hugo Vieira. Typing Liveness in Multiparty Communicating Systems. Eva Kühn; Rosario Pugliese. Coordination Models and Languages : 16th IFIP WG 6.1 International Conference, COORDINATION 2014, Held as Part of the 9th Inter
HAL Archives-Ouvertes,
Luca Padovani, Vasco Vasconcelos, Hugo Vieira. Typing Liveness in Multiparty Communicating Systems.