Coordination models and languages 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008 : proceedings /

Por COORDINATION (Conferência), Lea, Doug., Zavattaro, Gianluigi.
Publicado em c200

CONCUR 2009 - concurrency theory 20th international conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009 : proceedings /

Por International Conference on Concurrency Theory, Bravetti, Mario., Zavattaro, Gianluigi.
Publicado em 2009

Web services and formal methods third international workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006: proceedings /

Por WS-FM 2006, Bravetti, Mario., Núñez, Manuel., Zavattaro, Gianluigi.
Publicado em 2006

Service-oriented and cloud computing first European Conference, ESOCC 2012, Bertinoro, Italy, September 19-21, 2012, proceedings /

Por ESOCC (Conferência), De Paoli, F., Pimentel, Ernesto., Zavattaro, Gianluigi.
Publicado em 2012

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, 20...

Por International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bernardo, Marco., Padovani, Luca., Zavattaro, Gianluigi.
Publicado em 2009

Formal methods for computational systems biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, It...

Por International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bernardo, Marco., Degano, Pierpaolo, Zavattaro, Gianluigi.
Publicado em c200