Mario Bravetti


AuthID: R-006-QZ9

Publicações a aguardar confirmação

1
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
INDEXADO EM: Scopus WOS CrossRef
2
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
INDEXADO EM: Scopus WOS CrossRef
3
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
INDEXADO EM: WOS
4
5
TÍTULO: CONCUR 2009 - Concurrency Theory
AUTORES: Mario Bravetti; Gianluigi Zavattaro;
PUBLICAÇÃO: 2009, FONTE: Lecture Notes in Computer Science
INDEXADO EM: CrossRef
6

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service