Seuraa
Gianluigi Zavattaro
Gianluigi Zavattaro
Professor in Computer Science, University of Bologna
Vahvistettu sähköpostiosoite verkkotunnuksessa cs.unibo.it
Nimike
Viittaukset
Viittaukset
Vuosi
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
2712016
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
2142003
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
2052006
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
1772005
Service-oriented programming with Jolie
F Montesi, C Guidi, G Zavattaro
Web Services Foundations, 81-107, 2013
1272013
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
1201998
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
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20