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.