Seguir
Gianluigi Zavattaro
Gianluigi Zavattaro
Professor in Computer Science, University of Bologna
Dirección de correo verificada de cs.unibo.it
Título
Citado por
Citado por
Año
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
2732016
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
2482006
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
2152003
Towards a unifying theory for choreography conformance and contract compliance
M Bravetti, G Zavattaro
International Conference on Software Composition, 34-50, 2007
2082007
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
2062006
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
2012005
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
1782006
Foundations of web transactions
C Laneve, G Zavattaro
Foundations of Software Science and Computational Structures: 8th …, 2005
1782005
Service-oriented programming with Jolie
F Montesi, C Guidi, G Zavattaro
Web Services Foundations, 81-107, 2013
1282013
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
1252008
A process algebraic view of Linda coordination primitives
N Busi, R Gorrieri, G Zavattaro
Theoretical Computer Science 192 (2), 167-199, 1998
1231998
Parameterized verification of ad hoc networks
G Delzanno, A Sangnier, G Zavattaro
CONCUR 2010-Concurrency Theory: 21th International Conference, CONCUR 2010 …, 2010
1142010
Contract based multi-party service composition
M Bravetti, G Zavattaro
International Conference on Fundamentals of Software Engineering, 207-222, 2007
1072007
On the expressiveness of Linda coordination primitives
N Busi, R Gorrieri, G Zavattaro
Information and Computation 156 (1-2), 90-121, 2000
1022000
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
902007
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
822008
Composing services with JOLIE
F Montesi, C Guidi, G Zavattaro
Fifth European Conference on Web Services (ECOWS'07), 13-22, 2007
802007
Aeolus: A component model for the cloud
R Di Cosmo, J Mauro, S Zacchiroli, G Zavattaro
Information and Computation 239, 100-121, 2014
762014
Replication vs. recursive definitions in channel based calculi
N Busi, M Gabbrielli, G Zavattaro
Automata, Languages and Programming: 30th International Colloquium, ICALP …, 2003
742003
A theory for strong service compliance
M Bravetti, G Zavattaro
International Conference on Coordination Languages and Models, 96-112, 2007
692007
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20