| Foundations of session types and behavioural contracts H Hüttel, I Lanese, VT Vasconcelos, L Caires, M Carbone, PM Deniélou, ... ACM Computing Surveys (CSUR) 49 (1), 1-36, 2016 | 249 | 2016 |
| SOCK: A Calculus for Service Oriented Computing C Guidi, R Lucchi, R Gorrieri, N Busi, G Zavattaro Service-Oriented Computing–ICSOC 2006: 4th International Conference, Chicago …, 2006 | 244 | 2006 |
| A calculus for long-running transactions L Bocchi, C Laneve, G Zavattaro Formal Methods for Open Object-Based Distributed Systems: 6th IFIP WG 6.1 …, 2003 | 214 | 2003 |
| Towards a unifying theory for choreography conformance and contract compliance M Bravetti, G Zavattaro Lecture Notes in Computer Science 4829, 34-50, 2007 | 208 | 2007 |
| SCC: A Service Centered Calculus M Boreale, R Bruni, L Caires, R De Nicola, I Lanese, M Loreti, F Martins, ... Web Services and Formal Methods: Third International Workshop, WS-FM 2006 …, 2006 | 208 | 2006 |
| Choreography and orchestration: A synergic approach for system design N Busi, R Gorrieri, C Guidi, R Lucchi, G Zavattaro Service-Oriented Computing-ICSOC 2005: Third International Conference …, 2005 | 200 | 2005 |
| Foundations of web transactions C Laneve, G Zavattaro Foundations of Software Science and Computational Structures: 8th …, 2005 | 180 | 2005 |
| Choreography and orchestration conformance for system design N Busi, R Gorrieri, C Guidi, R Lucchi, G Zavattaro Coordination Models and Languages: 8th International Conference …, 2006 | 178 | 2006 |
| Bridging the gap between interaction-and process-oriented choreographies I Lanese, C Guidi, F Montesi, G Zavattaro 2008 Sixth IEEE International Conference on Software Engineering and Formal …, 2008 | 125 | 2008 |
| A process algebraic view of Linda coordination primitives N Busi, R Gorrieri, G Zavattaro Theoretical Computer Science 192 (2), 167-199, 1998 | 123 | 1998 |
| Parameterized verification of ad hoc networks G Delzanno, A Sangnier, G Zavattaro CONCUR 2010-Concurrency Theory: 21th International Conference, CONCUR 2010 …, 2010 | 116 | 2010 |
| Service-Oriented Programming with Jolie F Montesi, C Guidi, G Zavattaro Web Services Foundations, 81-107, 2014 | 114 | 2014 |
| Contract based multi-party service composition M Bravetti, G Zavattaro International Symposium on Fundamentals of Software Engineering …, 2007 | 105 | 2007 |
| On the expressiveness of Linda coordination primitives N Busi, R Gorrieri, G Zavattaro Information and Computation 156 (1-2), 90-121, 2000 | 105 | 2000 |
| Contract compliance and choreography conformance in the presence of message queues M Bravetti, G Zavattaro Web Services and Formal Methods: 5th International Workshop, WS-FM 2008 …, 2009 | 85 | 2009 |
| Jolie: a java orchestration language interpreter engine F Montesi, C Guidi, R Lucchi, G Zavattaro Electronic Notes in Theoretical Computer Science 181, 19-33, 2007 | 82 | 2007 |
| Composing services with JOLIE F Montesi, C Guidi, G Zavattaro Fifth European Conference on Web Services (ECOWS'07), 13-22, 2007 | 80 | 2007 |
| Replication vs. recursive definitions in channel based calculi N Busi, M Gabbrielli, G Zavattaro Automata, Languages and Programming: 30th International Colloquium, ICALP …, 2003 | 72 | 2003 |
| Aeolus: A component model for the cloud R Di Cosmo, J Mauro, S Zacchiroli, G Zavattaro Information and Computation 239, 100-121, 2014 | 70 | 2014 |
| On the expressive power of recursion, replication and iteration in process calculi N Busi, M Gabbrielli, G Zavattaro Mathematical Structures in Computer Science 19 (6), 1191-1222, 2009 | 69 | 2009 |
