Cinzia Di Giusto
AuthID: R-006-G0V
1
TÃTULO: Disciplined structured communications with disciplined runtime adaptation Full Text
AUTORES: Cinzia Di Giusto; Jorge A Perez ;
PUBLICAÇÃO: 2015, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 97, NÚMERO: P2
AUTORES: Cinzia Di Giusto; Jorge A Perez ;
PUBLICAÇÃO: 2015, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 97, NÚMERO: P2
2
TÃTULO: Session types with runtime adaptation: Overview and examples Full Text
AUTORES: Di Giusto, C; Pérez, JA ;
PUBLICAÇÃO: 2013, FONTE: 5th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2013 in Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 137
AUTORES: Di Giusto, C; Pérez, JA ;
PUBLICAÇÃO: 2013, FONTE: 5th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2013 in Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 137
INDEXADO EM: 
Scopus 
CrossRef
Scopus CrossRef3
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
WOS