Jorge Andres Perez Parra
AuthID: R-001-WNN
11
TÃTULO: Executable Semantics and Type Checking for Session-Based Concurrency in Maude
AUTORES: Carlos Alberto Ramírez Restrepo; Jorge A Pérez;
PUBLICAÇÃO: 2022, FONTE: Lecture Notes in Computer Science - Rewriting Logic and Its Applications
AUTORES: Carlos Alberto Ramírez Restrepo; Jorge A Pérez;
PUBLICAÇÃO: 2022, FONTE: Lecture Notes in Computer Science - Rewriting Logic and Its Applications
12
TÃTULO: A bunch of sessions: a propositions-as-sessions interpretation of bunched implications in channel-based concurrency
AUTORES: Dan Frumin; Emanuele D’Osualdo; Bas van den Heuvel; Jorge A Pérez;
PUBLICAÇÃO: 2022, FONTE: Proceedings of the ACM on Programming Languages, VOLUME: 6, NÚMERO: OOPSLA2
AUTORES: Dan Frumin; Emanuele D’Osualdo; Bas van den Heuvel; Jorge A Pérez;
PUBLICAÇÃO: 2022, FONTE: Proceedings of the ACM on Programming Languages, VOLUME: 6, NÚMERO: OOPSLA2
13
TÃTULO: Aquae pluviae et caducae. Drainage and Waterproofing Systems to Avoid Surface Runoff in Augusta Emerita (Merida, Spain) and Mirobriga (Santiago do Cacem, Portugal)
AUTORES: Perez, JA; Felicio, C;
PUBLICAÇÃO: 2021, FONTE: ZEPHYRUS-REVISTA DE PREHISTORIA Y ARQUEOLOGIA, VOLUME: 88
AUTORES: Perez, JA; Felicio, C;
PUBLICAÇÃO: 2021, FONTE: ZEPHYRUS-REVISTA DE PREHISTORIA Y ARQUEOLOGIA, VOLUME: 88
INDEXADO EM: 
WOS
WOS14
TÃTULO: Session-based concurrency, declaratively
AUTORES: Mauricio Cano; Hugo A López; Jorge A Pérez; Camilo Rueda;
PUBLICAÇÃO: 2021, FONTE: Acta Informatica, VOLUME: 59, NÚMERO: 1
AUTORES: Mauricio Cano; Hugo A López; Jorge A Pérez; Camilo Rueda;
PUBLICAÇÃO: 2021, FONTE: Acta Informatica, VOLUME: 59, NÚMERO: 1
15
TÃTULO: Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols
AUTORES: Alex C Keizer; Henning Basold; Jorge A Pérez;
PUBLICAÇÃO: 2021, FONTE: Lecture Notes in Computer Science - Programming Languages and Systems
AUTORES: Alex C Keizer; Henning Basold; Jorge A Pérez;
PUBLICAÇÃO: 2021, FONTE: Lecture Notes in Computer Science - Programming Languages and Systems
16
TÃTULO: On primitives for compensation handling as adaptable processes
AUTORES: Jovana Dedeić; Jovanka Pantović; Jorge A Pérez;
PUBLICAÇÃO: 2021, FONTE: Journal of Logical and Algebraic Methods in Programming, VOLUME: 121
AUTORES: Jovana Dedeić; Jovanka Pantović; Jorge A Pérez;
PUBLICAÇÃO: 2021, FONTE: Journal of Logical and Algebraic Methods in Programming, VOLUME: 121
17
TÃTULO: Domain-Aware Session Types PDF
AUTORES: Luís Caires ; Jorge A Pérez; Frank Pfenning ; Bernardo Toninho ;
PUBLICAÇÃO: 2019, FONTE: 30th International Conference on Concurrency Theory, CONCUR 2019 in 30th International Conference on Concurrency Theory, CONCUR 2019, August 27-30, 2019, Amsterdam, the Netherlands., VOLUME: 140
AUTORES: Luís Caires ; Jorge A Pérez; Frank Pfenning ; Bernardo Toninho ;
PUBLICAÇÃO: 2019, FONTE: 30th International Conference on Concurrency Theory, CONCUR 2019 in 30th International Conference on Concurrency Theory, CONCUR 2019, August 27-30, 2019, Amsterdam, the Netherlands., VOLUME: 140
INDEXADO EM: 
Scopus 
DBLP 
arXiv
Scopus DBLP arXiv18
TÃTULO: Domain-Aware Session Types (Extended Version) PDF
AUTORES: Luís Caires ; Jorge A Pérez; Frank Pfenning ; Bernardo Toninho ;
PUBLICAÇÃO: 2019, FONTE: CoRR, VOLUME: abs/1907.01318
AUTORES: Luís Caires ; Jorge A Pérez; Frank Pfenning ; Bernardo Toninho ;
PUBLICAÇÃO: 2019, FONTE: CoRR, VOLUME: abs/1907.01318
INDEXADO EM: DBLP arXiv
DBLP arXiv19
TÃTULO: Reversible Session-Based Concurrency in Haskell
AUTORES: Folkert de Vries; Jorge A Pérez;
PUBLICAÇÃO: 2019, FONTE: Lecture Notes in Computer Science - Trends in Functional Programming
AUTORES: Folkert de Vries; Jorge A Pérez;
PUBLICAÇÃO: 2019, FONTE: Lecture Notes in Computer Science - Trends in Functional Programming
20
TÃTULO: Relating Process Languages for Security and Communication Correctness (Extended Abstract)
AUTORES: Daniele Nantes; Jorge A Pérez;
PUBLICAÇÃO: 2018, FONTE: Lecture Notes in Computer Science - Formal Techniques for Distributed Objects, Components, and Systems
AUTORES: Daniele Nantes; Jorge A Pérez;
PUBLICAÇÃO: 2018, FONTE: Lecture Notes in Computer Science - Formal Techniques for Distributed Objects, Components, and Systems
