Gianluigi Zavattaro
Identifiers
- Open LibraryOL7342662A
Top Subjects
- Web services (2)
- Business, data processing (1)
- Telecommunication systems (1)
- Parallel processing (electronic computers) (1)
- Electronic data processing, distributed processing (1)
- Computer network architectures (1)
- Cloud computing (1)
Books by Gianluigi Zavattaro
Total count: 8
-
Formal Techniques for Computer Systems and Business ProcessesEuropean Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, ProceedingsSpringer London, Limited2005-01-01
-
Formal Methods for Open Object-Based Distributed Systems7th IFIP WG 6. 1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, ProceedingsSpringer London, Limited2005-01-01
-
Web Services and Formal MethodsThird International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, ProceedingsSpringer London, Limited2006-01-01
-
Coordination Models and Languages10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008, ProceedingsSpringer London, Limited2008-01-01
-
Formal Methods for Computational Systems Biology8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7 2008Springer London, Limited2008-01-01
-
CONCUR 2009 - Concurrency Theory20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, ProceedingsSpringer London, Limited2009-01-01
-
Formal Methods for Web Services9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced LecturesSpringer London, Limited2009-01-01
-
Service-Oriented and Cloud ComputingFirst European Conference, ESOCC 2012, Bertinoro, Italy, September 19-21, 2012, ProceedingsSpringer2012-01-01