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