Jorge Andres Perez Parra
AuthID: R-001-WNN
41
TÃTULO: Declarative interpretations of session-based concurrency
AUTORES: Cano, M; Rueda, C; López, HA; Pérez, JA;
PUBLICAÇÃO: 2015, FONTE: 17th International Symposium on Principles and Practice of Declarative Programming, PPDP 2015 in Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, PPDP 2015
AUTORES: Cano, M; Rueda, C; López, HA; Pérez, JA;
PUBLICAÇÃO: 2015, FONTE: 17th International Symposium on Principles and Practice of Declarative Programming, PPDP 2015 in Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, PPDP 2015
42
TÃTULO: Combining behavioural types with security analysis
AUTORES: Bartoletti, M; Castellani, I; Deniélou, PM; Dezani Ciancaglini, M; Ghilezan, S; Pantovic, J; Pérez, JA; Thiemann, P; Toninho, B ; Vieira, HT;
PUBLICAÇÃO: 2015, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 84, NÚMERO: 6
AUTORES: Bartoletti, M; Castellani, I; Deniélou, PM; Dezani Ciancaglini, M; Ghilezan, S; Pantovic, J; Pérez, JA; Thiemann, P; Toninho, B ; Vieira, HT;
PUBLICAÇÃO: 2015, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 84, NÚMERO: 6
43
TÃTULO: Comparing deadlock-Free session typed processes
AUTORES: Ornela Dardha; Jorge A Perez;
PUBLICAÇÃO: 2015, FONTE: Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 190
AUTORES: Ornela Dardha; Jorge A Perez;
PUBLICAÇÃO: 2015, FONTE: Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 190
44
TÃTULO: On compensation primitives as adaptable processes
AUTORES: Jovana Dedeíc; Jovanka Pantovíc; Jorge A Perez;
PUBLICAÇÃO: 2015, FONTE: Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 190
AUTORES: Jovana Dedeíc; Jovanka Pantovíc; Jorge A Perez;
PUBLICAÇÃO: 2015, FONTE: Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 190
INDEXADO EM: 
Scopus
Scopus NO MEU: 
ORCID
ORCID45
TÃTULO: Characteristic bisimulations for higher-order session processes
AUTORES: Dimitrios Kouzapas; Jorge A Pérez; Nobuko Yoshida;
PUBLICAÇÃO: 2015, FONTE: Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 42
AUTORES: Dimitrios Kouzapas; Jorge A Pérez; Nobuko Yoshida;
PUBLICAÇÃO: 2015, FONTE: Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 42
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID46
TÃTULO: On Compensation Primitives as Adaptable Processes
AUTORES: Jovana Dedeić; Jovanka Pantović; Jorge A Pérez;
PUBLICAÇÃO: 2015, FONTE: Electronic Proceedings in Theoretical Computer Science, VOLUME: 190
AUTORES: Jovana Dedeić; Jovanka Pantović; Jorge A Pérez;
PUBLICAÇÃO: 2015, FONTE: Electronic Proceedings in Theoretical Computer Science, VOLUME: 190
47
TÃTULO: Dynamic role authorization in multiparty conversations Full Text
AUTORES: Ghilezan, S; Jaksic, S; Pantovic, J; Perez, JA; Vieira, HT;
PUBLICAÇÃO: 2014, FONTE: 3rd Workshop on Behavioural Types, BEAT 2014 in Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 162
AUTORES: Ghilezan, S; Jaksic, S; Pantovic, J; Perez, JA; Vieira, HT;
PUBLICAÇÃO: 2014, FONTE: 3rd Workshop on Behavioural Types, BEAT 2014 in Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 162
48
TÃTULO: Self-Adaptation and secure information flow in multipartystructured communications: A unified perspective
AUTORES: Ilaria Castellani; Mariangiola Dezani Ciancaglini; Jorge A Pérez;
PUBLICAÇÃO: 2014, FONTE: Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 162
AUTORES: Ilaria Castellani; Mariangiola Dezani Ciancaglini; Jorge A Pérez;
PUBLICAÇÃO: 2014, FONTE: Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 162
49
TÃTULO: On the expressiveness and decidability of higher-order process calculi Full Text
AUTORES: Lanese, I; Perez, JA; Sangiorgi, D; Schmitt, A;
PUBLICAÇÃO: 2011, FONTE: INFORMATION AND COMPUTATION, VOLUME: 209, NÚMERO: 2
AUTORES: Lanese, I; Perez, JA; Sangiorgi, D; Schmitt, A;
PUBLICAÇÃO: 2011, FONTE: INFORMATION AND COMPUTATION, VOLUME: 209, NÚMERO: 2
50
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