Jorge Andres Perez Parra
AuthID: R-001-WNN
41
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
42
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
ORCID43
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
ORCID44
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
45
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
46
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
47
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
48
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