Padovani, Luca and Vasconcelos, Vasco Thudichum and Torres Vieira, Hugo   Typing liveness in multiparty communicating systems.   In:  Coordination Models and Languages.   Lecture Notes in Computer Science .  Springer, pp. 147-162.  ISBN 978-3-662-43376-8      (2014)