Gianluigi Zavattaro

No bio available. Add one in Open Library.

Books by Gianluigi Zavattaro (50 max)

+ shelf+ list

Web Services and Formal Methods: Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings (Lecture Notes in Computer Science)

2006

Mario Bravetti, Manuel Núñez, Gianluigi Zavattaro

+ shelf+ list

Formal Techniques for Computer Systems and Business Processes European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings

2005

Mario Bravetti, Leila Kloul, Gianluigi Zavattaro

+ shelf+ list

Coordination Models and Languages 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008, Proceedings

2008

Doug Lea, Gianluigi Zavattaro

+ shelf+ list

Formal Methods for Computational Systems Biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7 2008

2008

Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro

+ shelf+ list

CONCUR 2009 Concurrency Theory Lecture Notes in Computer Science

2009

Gianluigi Zavattaro

+ shelf+ list

Formal Methods for Web Services 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures

2009

Marco Bernardo, Luca Padovani, Gianluigi Zavattaro

+ shelf+ list

CONCUR 2009 - Concurrency Theory 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, Proceedings

2009

Mario Bravetti, Gianluigi Zavattaro