Huttel, Hans ;
Lanese, Ivan ;
Vasconcelos, Vasco...
Huttel , H , Lanese , I , Vasconcelos , V , Caires , L , Carbone , M , Danielou , P-M , Mostrous , D , Padovani , L , Rabara , A , Tuosto , E , Vieira , H T & Zavattaro , G 2016 , ' Foundations of Session Types and Behavioural Contracts ' , A C M Computing Surveys , vol. 49 , no. 1 , 3 , pp. 1 ..
,
2016