Jorge A. P\'erez

Identifiers

• name variant Jorge A. P\'erez 0.60 · backfill

Papers (8)

1. Deadlock-free Context-free Session Types cs.PL · 2025 · author #2
2. Domain-Aware Session Types (Extended Version) cs.LO · 2019 · author #2
3. Minimal Session Types (Extended Version) cs.LO · 2019 · author #2
4. Combining behavioural types with security analysis cs.PL · 2015 · author #7
5. Core Higher-Order Session Processes: Tractable Equivalences and Relative Expressiveness cs.LO · 2015 · author #2
6. A Typeful Characterization of Multiparty Structured Conversations Based on Binary Sessions cs.LO · 2014 · author #2
7. Towards Formal Interaction-Based Models of Grid Computing Infrastructures cs.PL · 2014 · author #2
8. Session Types with Runtime Adaptation: Overview and Examples cs.PL · 2013 · author #2

Mentions

• 2506.20356 #2 · arxiv_oai · confidence 0.70 Jorge A. P\'erez
• 1510.02229 #7 · backfill · confidence 0.70 Jorge A. P\'erez
• 1502.02585 #2 · backfill · confidence 0.70 Jorge A. P\'erez
• 1407.4242 #2 · backfill · confidence 0.70 Jorge A. P\'erez
• 1404.0085 #2 · backfill · confidence 0.70 Jorge A. P\'erez
• 1312.2699 #2 · backfill · confidence 0.70 Jorge A. P\'erez

Frequent Coauthors

• Bernardo Toninho 2 shared papers
• Lu\'is Caires 2 shared papers
• Alen Arslanagi\'c 1 shared papers
• Andreia Mordido 1 shared papers
• Carlos Alberto Ram\'irez Restrepo 1 shared papers
• Cinzia Di Giusto 1 shared papers
• Dimitrios Kouzapas 1 shared papers
• Erik Voogd 1 shared papers
• Frank Pfenning 1 shared papers
• Hugo Torres Vieira 1 shared papers
• Ilaria Castellani 1 shared papers
• Jes\'us Aranda 1 shared papers
• Jovanka Pantovic 1 shared papers
• Juan Francisco D\'iaz-Frias 1 shared papers
• Mariangiola Dezani-Ciancaglini 1 shared papers
• Massimo Bartoletti 1 shared papers
• Nobuko Yoshida 1 shared papers
• Peter Thiemann 1 shared papers
• Pierre-Malo Deni\'elou 1 shared papers
• Silvia Ghilezan 1 shared papers