BETTY Papers at COORDINATION 2014
Four papers by BETTY members will be presented at COORDINATION 2014. Congratulations to the authors!
Marco Carbone, Ornela Dardha and Fabrizio Montesi. Progress as Compositional Lock-Freedom.
Dimitris Mostrous and Vasco T. Vasconcelos. Affine Sessions.
Luca Padovani, Vasco T. Vasconcelos and Hugo Torres Vieira. Typing Liveness in Multiparty Communicating Systems.
Rumyana Neykova and Nobuko Yoshida. Multiparty Session Actors.