Publications

Export 2 results:
Filters: Author is Padovani, Luca  [Clear All Filters]
2016
Hüttel, H., I. Lanese, V. T. Vasconcelos, L. Caires, M. Carbone, P-M. Deniélou, D. Mostrous, L. Padovani, A. Ravara, E. Tuosto, et al., "Foundations of session types and behavioural contracts", ACM Computing Surveys (CSUR), vol. 49, no. 1: ACM, pp. 3, 2016.
2014
Padovani, L., V. T. Vasconcelos, and H. Torres Vieira, "Typing liveness in multiparty communicating systems", Coordination Models and Languages: Springer Berlin Heidelberg, pp. 147–162, 2014.