Gianluigi Zavattaro

Gianluigi Zavattaro

Università di Bologna - Bologna / Italy
Engineering & Technology / Computer Science
AD Scientific Index ID: 1805581
University of Bologna
person_outline Gianluigi Zavattaro's MOST POPULAR ARTICLES
1-) Foundations of session types and behavioural contractsH Hüttel, I Lanese, VT Vasconcelos, L Caires, M Carbone, PM Deniélou, ...ACM Computing Surveys (CSUR) 49 (1), 1-36, 20162482016
2-) SOCK: A Calculus for Service Oriented ComputingC Guidi, R Lucchi, R Gorrieri, N Busi, G ZavattaroService-Oriented Computing–ICSOC 2006: 4th International Conference, Chicago …, 20062442006
3-) A calculus for long-running transactionsL Bocchi, C Laneve, G ZavattaroFormal Methods for Open Object-Based Distributed Systems: 6th IFIP WG 6.1 …, 20032132003
4-) Towards a unifying theory for choreography conformance and contract complianceM Bravetti, G ZavattaroInternational Conference on Software Composition, 34-50, 20072102007
5-) SCC: a service centered calculusM Boreale, R Bruni, L Caires, R De Nicola, I Lanese, M Loreti, F Martins, ...International Workshop on Web Services and Formal Methods, 38-57, 20062102006