SOCK: A Calculus for Service Oriented Computing C Guidi, R Lucchi, R Gorrieri, N Busi, G Zavattaro International Conference on Service-Oriented Computing, 327-338, 2006 | 237 | 2006 |
A calculus for long-running transactions L Bocchi, C Laneve, G Zavattaro International Conference on Formal Methods for Open Object-Based Distributed …, 2003 | 205 | 2003 |
SCC: A Service Centered Calculus M Boreale, R Bruni, L Caires, R De Nicola, I Lanese, M Loreti, F Martins, ... International Workshop on Web Services and Formal Methods, 38-57, 2006 | 204 | 2006 |
Towards a unifying theory for choreography conformance and contract compliance M Bravetti, G Zavattaro International Conference on Software Composition, 34-50, 2007 | 199 | 2007 |
Choreography and orchestration: A synergic approach for system design N Busi, R Gorrieri, C Guidi, R Lucchi, G Zavattaro International Conference on Service-Oriented Computing, 228-240, 2005 | 193 | 2005 |
Foundations of web transactions C Laneve, G Zavattaro International Conference on Foundations of Software Science and Computation …, 2005 | 174 | 2005 |
Choreography and orchestration conformance for system design N Busi, R Gorrieri, C Guidi, R Lucchi, G Zavattaro International Conference on Coordination Languages and Models, 63-81, 2006 | 171 | 2006 |
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 | 165 | 2016 |
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 | 117 | 2008 |
A process algebraic view of Linda coordination primitives N Busi, R Gorrieri, G Zavattaro Theoretical Computer Science 192 (2), 167-199, 1998 | 115 | 1998 |
Contract based multi-party service composition M Bravetti, G Zavattaro International Conference on Fundamentals of Software Engineering, 207-222, 2007 | 102 | 2007 |
On the expressiveness of Linda coordination primitives N Busi, R Gorrieri, G Zavattaro Information and Computation 156 (1-2), 90-121, 2000 | 102 | 2000 |
Service-Oriented Programming with Jolie F Montesi, C Guidi, G Zavattaro Web Services Foundations, 81-107, 2014 | 101 | 2014 |
Parameterized verification of ad hoc networks G Delzanno, A Sangnier, G Zavattaro International Conference on Concurrency Theory, 313-327, 2010 | 101 | 2010 |
Contract compliance and choreography conformance in the presence of message queues M Bravetti, G Zavattaro International Workshop on Web Services and Formal Methods, 37-54, 2008 | 86 | 2008 |
Composing services with JOLIE F Montesi, C Guidi, G Zavattaro Fifth European Conference on Web Services (ECOWS'07), 13-22, 2007 | 76 | 2007 |
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 | 74 | 2007 |
A theory for strong service compliance M Bravetti, G Zavattaro International Conference on Coordination Languages and Models, 96-112, 2007 | 69 | 2007 |
Replication vs. recursive definitions in channel based calculi N Busi, M Gabbrielli, G Zavattaro International Colloquium on Automata, Languages, and Programming, 133-144, 2003 | 69 | 2003 |
Comparing recursion, replication, and iteration in process calculi N Busi, M Gabbrielli, G Zavattaro International Colloquium on Automata, Languages, and Programming, 307-319, 2004 | 67 | 2004 |