Jorge Andres Perez Parra
AuthID: R-001-WNN
31
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
ORCID32
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
ORCID33
TITLE: Towards a practical model of reactive communication-centric software
AUTHORS: Jaime Arias; Mauricio Cano; Jorge A Pérez;
PUBLISHED: 2016, SOURCE: CEUR Workshop Proceedings, VOLUME: 1720
AUTHORS: Jaime Arias; Mauricio Cano; Jorge A Pérez;
PUBLISHED: 2016, SOURCE: CEUR Workshop Proceedings, VOLUME: 1720
INDEXED IN: Scopus
Scopus IN MY: ORCID
ORCID34
TITLE: The challenge of typed expressiveness in concurrency
AUTHORS: Jorge A Pérez;
PUBLISHED: 2016, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9688
AUTHORS: Jorge A Pérez;
PUBLISHED: 2016, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9688
35
TITLE: An Event-Based Approach to Runtime Adaptation in Communication-Centric Systems
AUTHORS: Cinzia Di Giusto; Jorge A Pérez;
PUBLISHED: 2016, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9421
AUTHORS: Cinzia Di Giusto; Jorge A Pérez;
PUBLISHED: 2016, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9421
INDEXED IN: Scopus
Scopus IN MY: ORCID
ORCID36
TITLE: On the relative expressiveness of higher-order session processes
AUTHORS: Dimitrios Kouzapas; Jorge A Pérez; Nobuko Yoshida;
PUBLISHED: 2016, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9632
AUTHORS: Dimitrios Kouzapas; Jorge A Pérez; Nobuko Yoshida;
PUBLISHED: 2016, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9632
37
TITLE: An Event-Based Approach to Runtime Adaptation in Communication-Centric Systems
AUTHORS: Cinzia Di Giusto; Jorge A Pérez;
PUBLISHED: 2016, SOURCE: Lecture Notes in Computer Science - Web Services, Formal Methods, and Behavioral Types
AUTHORS: Cinzia Di Giusto; Jorge A Pérez;
PUBLISHED: 2016, SOURCE: Lecture Notes in Computer Science - Web Services, Formal Methods, and Behavioral Types
38
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
39
TITLE: Self-adaptation and secure information flow in multiparty communications
AUTHORS: Ilaria Castellani; Mariangiola Dezani-Ciancaglini; Jorge A Pérez;
PUBLISHED: 2016, SOURCE: Formal Aspects of Computing, VOLUME: 28, ISSUE: 4
AUTHORS: Ilaria Castellani; Mariangiola Dezani-Ciancaglini; Jorge A Pérez;
PUBLISHED: 2016, SOURCE: Formal Aspects of Computing, VOLUME: 28, ISSUE: 4
40
TITLE: Characteristic bisimulation for higher-order session processes
AUTHORS: Dimitrios Kouzapas; Jorge A Pérez; Nobuko Yoshida;
PUBLISHED: 2016, SOURCE: Acta Informatica, VOLUME: 54, ISSUE: 3
AUTHORS: Dimitrios Kouzapas; Jorge A Pérez; Nobuko Yoshida;
PUBLISHED: 2016, SOURCE: Acta Informatica, VOLUME: 54, ISSUE: 3
