Gianluigi Zavattaro
AuthID: R-006-QZA
1
TÃTULO: Foundations of Session Types and Behavioural Contracts Full Text
AUTORES: Hans Hüttel; Ivan Lanese; Vasco T Vasconcelos ; Luís Caires ; Marco Carbone; Pierre Malo Deniélou; Dimitris Mostrous; Luca Padovani; António Ravara; Emilio Tuosto; Hugo Torres Vieira; Gianluigi Zavattaro;
PUBLICAÇÃO: 2016, FONTE: ACM COMPUTING SURVEYS, VOLUME: 49, NÚMERO: 1
AUTORES: Hans Hüttel; Ivan Lanese; Vasco T Vasconcelos ; Luís Caires ; Marco Carbone; Pierre Malo Deniélou; Dimitris Mostrous; Luca Padovani; António Ravara; Emilio Tuosto; Hugo Torres Vieira; Gianluigi Zavattaro;
PUBLICAÇÃO: 2016, FONTE: ACM COMPUTING SURVEYS, VOLUME: 49, NÚMERO: 1
2
TÃTULO: Towards Global and Local Types for Adaptation
AUTORES: Mario Bravetti; Marco Carbone; Thomas Hildebrandt; Ivan Lanese; Jacopo Mauro; Jorge A Perez ; Gianluigi Zavattaro;
PUBLICAÇÃO: 2014, FONTE: 11th International Conference on Software Engineering and Formal Methods (SEFM) in SOFTWARE ENGINEERING AND FORMAL METHODS, VOLUME: 8368
AUTORES: Mario Bravetti; Marco Carbone; Thomas Hildebrandt; Ivan Lanese; Jacopo Mauro; Jorge A Perez ; Gianluigi Zavattaro;
PUBLICAÇÃO: 2014, FONTE: 11th International Conference on Software Engineering and Formal Methods (SEFM) in SOFTWARE ENGINEERING AND FORMAL METHODS, VOLUME: 8368
3
TÃTULO: ADAPTABLE PROCESSES Full Text
AUTORES: Mario Bravetti; Cinzia Di Giusto; Jorge A Perez ; Gianluigi Zavattaro;
PUBLICAÇÃO: 2012, FONTE: LOGICAL METHODS IN COMPUTER SCIENCE, VOLUME: 8, NÚMERO: 4
AUTORES: Mario Bravetti; Cinzia Di Giusto; Jorge A Perez ; Gianluigi Zavattaro;
PUBLICAÇÃO: 2012, FONTE: LOGICAL METHODS IN COMPUTER SCIENCE, VOLUME: 8, NÚMERO: 4
4
TÃTULO: Adaptable Processes (Extended Abstract)
AUTORES: Mario Bravetti; Cinzia Di Giusto; Jorge A Perez; Gianluigi Zavattaro;
PUBLICAÇÃO: 2011, FONTE: Joint 13th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31st IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE) in FORMAL TECHNIQUES FOR DISTRIBUTED SYSTEMS, VOLUME: 6722
AUTORES: Mario Bravetti; Cinzia Di Giusto; Jorge A Perez; Gianluigi Zavattaro;
PUBLICAÇÃO: 2011, FONTE: Joint 13th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31st IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE) in FORMAL TECHNIQUES FOR DISTRIBUTED SYSTEMS, VOLUME: 6722
INDEXADO EM: 
WOS
WOS5
TÃTULO: CONCUR 2009 - Concurrency Theory, 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings
AUTORES: Mario Bravetti; Gianluigi Zavattaro;
PUBLICAÇÃO: 2009, FONTE: CONCUR, VOLUME: 5710
AUTORES: Mario Bravetti; Gianluigi Zavattaro;
PUBLICAÇÃO: 2009, FONTE: CONCUR, VOLUME: 5710
INDEXADO EM: 
DBLP
DBLP6
TÃTULO: CONCUR 2009 - Concurrency Theory
AUTORES: Mario Bravetti; Gianluigi Zavattaro;
PUBLICAÇÃO: 2009, FONTE: Lecture Notes in Computer Science
AUTORES: Mario Bravetti; Gianluigi Zavattaro;
PUBLICAÇÃO: 2009, FONTE: Lecture Notes in Computer Science
INDEXADO EM: 
CrossRef
CrossRef7
TÃTULO: Web Services and Formal Methods, Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006, Proceedings
AUTORES: Mario Bravetti; Manuel Núñez; Gianluigi Zavattaro;
PUBLICAÇÃO: 2006, FONTE: WS-FM, VOLUME: 4184
AUTORES: Mario Bravetti; Manuel Núñez; Gianluigi Zavattaro;
PUBLICAÇÃO: 2006, FONTE: WS-FM, VOLUME: 4184
INDEXADO EM: DBLP
DBLP