Typing Liveness in Multiparty Communicating Systems.

Luca Padovani, Vasco Thudichum Vasconcelos, Hugo Torres Vieira

Browse the full Coordination paper archive.