Jorge Andres Perez Parra
AuthID: R-001-WNN
21
TITLE: Efficient compensation handling via subjective updates
AUTHORS: Jovana Dedeić; Jovanka Pantović; Jorge A Pérez;
PUBLISHED: 2017, SOURCE: Proceedings of the ACM Symposium on Applied Computing, VOLUME: Part F128005
AUTHORS: Jovana Dedeić; Jovanka Pantović; Jorge A Pérez;
PUBLISHED: 2017, SOURCE: Proceedings of the ACM Symposium on Applied Computing, VOLUME: Part F128005
22
TITLE: Session-based concurrency, reactively
AUTHORS: Mauricio Cano; Jaime Arias; Jorge A Pérez;
PUBLISHED: 2017, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 10321 LNCS
AUTHORS: Mauricio Cano; Jaime Arias; Jorge A Pérez;
PUBLISHED: 2017, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 10321 LNCS
23
TITLE: Reversibility in session-based concurrency: A fresh look
AUTHORS: Claudio Antares Mezzina; Jorge A Pérez;
PUBLISHED: 2017, SOURCE: Journal of Logical and Algebraic Methods in Programming, VOLUME: 90
AUTHORS: Claudio Antares Mezzina; Jorge A Pérez;
PUBLISHED: 2017, SOURCE: Journal of Logical and Algebraic Methods in Programming, VOLUME: 90
24
TITLE: Multiparty Session Types Within a Canonical Binary Theory, and Beyond
AUTHORS: Caires, L ; Pérez, JA;
PUBLISHED: 2016, SOURCE: 36th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems(FORTE) held as part of the 11th International Federated Conference on Distributed Computing Techniques (DisCoTec) in FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS, AND SYSTEMS (FORTE 2016), VOLUME: 9688
AUTHORS: Caires, L ; Pérez, JA;
PUBLISHED: 2016, SOURCE: 36th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems(FORTE) held as part of the 11th International Federated Conference on Distributed Computing Techniques (DisCoTec) in FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS, AND SYSTEMS (FORTE 2016), VOLUME: 9688
25
TITLE: Dynamic role authorization in multiparty conversations Full Text
AUTHORS: Silvia Ghilezan; Svetlana Jakšić; Jovanka Pantović; Jorge A Pérez; Hugo Torres Vieira;
PUBLISHED: 2016, SOURCE: Formal Aspects of Computing, VOLUME: 28, ISSUE: 4
AUTHORS: Silvia Ghilezan; Svetlana Jakšić; Jovanka Pantović; Jorge A Pérez; Hugo Torres Vieira;
PUBLISHED: 2016, SOURCE: Formal Aspects of Computing, VOLUME: 28, ISSUE: 4
26
TITLE: A typed model for dynamic authorizations Full Text
AUTHORS: Silvia Ghilezan; Svetlana Jakšić; Jovanka Pantović; Jorge A Pérez; Hugo Torres Vieira;
PUBLISHED: 2016, SOURCE: Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 203
AUTHORS: Silvia Ghilezan; Svetlana Jakšić; Jovanka Pantović; Jorge A Pérez; Hugo Torres Vieira;
PUBLISHED: 2016, SOURCE: Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 203
27
TITLE: Event-based run-time adaptation in communication-centric systems
AUTHORS: Cinzia Di Giusto; Jorge A Pérez;
PUBLISHED: 2016, SOURCE: Formal Aspects of Computing, VOLUME: 28, ISSUE: 4
AUTHORS: Cinzia Di Giusto; Jorge A Pérez;
PUBLISHED: 2016, SOURCE: Formal Aspects of Computing, VOLUME: 28, ISSUE: 4
INDEXED IN: 
Scopus
Scopus IN MY: 
ORCID
ORCID28
TITLE: Reversible sessions using monitors
AUTHORS: Claudio A Mezzina; Jorge A Pérez;
PUBLISHED: 2016, SOURCE: Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 211
AUTHORS: Claudio A Mezzina; Jorge A Pérez;
PUBLISHED: 2016, SOURCE: Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 211
29
TITLE: Electronic Proceedings in Theoretical Computer Science, EPTCS: Preface
AUTHORS: César A Muñoz; Jorge A Pérez;
PUBLISHED: 2016, SOURCE: Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 204
AUTHORS: César A Muñoz; Jorge A Pérez;
PUBLISHED: 2016, SOURCE: Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 204
INDEXED IN: Scopus
Scopus IN MY: ORCID
ORCID30
TITLE: Reversible semantics in session-based concurrency
AUTHORS: Claudio Antares Mezzina; Jorge A Pérez;
PUBLISHED: 2016, SOURCE: CEUR Workshop Proceedings, VOLUME: 1720
AUTHORS: Claudio Antares Mezzina; Jorge A Pérez;
PUBLISHED: 2016, SOURCE: CEUR Workshop Proceedings, VOLUME: 1720
INDEXED IN: Scopus
Scopus IN MY: ORCID
ORCID