Cinzia Di Giusto
AuthID: R-006-G0V
1
TITLE: Disciplined structured communications with disciplined runtime adaptation Full Text
AUTHORS: Cinzia Di Giusto; Jorge A Perez ;
PUBLISHED: 2015, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 97, ISSUE: P2
AUTHORS: Cinzia Di Giusto; Jorge A Perez ;
PUBLISHED: 2015, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 97, ISSUE: P2
2
TITLE: Session types with runtime adaptation: Overview and examples Full Text
AUTHORS: Di Giusto, C; Pérez, JA ;
PUBLISHED: 2013, SOURCE: 5th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2013 in Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 137
AUTHORS: Di Giusto, C; Pérez, JA ;
PUBLISHED: 2013, SOURCE: 5th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2013 in Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 137
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef3
TITLE: ADAPTABLE PROCESSES Full Text
AUTHORS: Mario Bravetti; Cinzia Di Giusto; Jorge A Perez ; Gianluigi Zavattaro;
PUBLISHED: 2012, SOURCE: LOGICAL METHODS IN COMPUTER SCIENCE, VOLUME: 8, ISSUE: 4
AUTHORS: Mario Bravetti; Cinzia Di Giusto; Jorge A Perez ; Gianluigi Zavattaro;
PUBLISHED: 2012, SOURCE: LOGICAL METHODS IN COMPUTER SCIENCE, VOLUME: 8, ISSUE: 4
4
TITLE: Adaptable Processes (Extended Abstract)
AUTHORS: Mario Bravetti; Cinzia Di Giusto; Jorge A Perez; Gianluigi Zavattaro;
PUBLISHED: 2011, SOURCE: 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
AUTHORS: Mario Bravetti; Cinzia Di Giusto; Jorge A Perez; Gianluigi Zavattaro;
PUBLISHED: 2011, SOURCE: 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
INDEXED IN: 
WOS
WOS