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