( en | de | ru )

 

Disambiguation of "Pérez, Jorge A."

Author of the publication

copydeleteadd this publication to your clipboard
Reversibility in session-based concurrency: A fresh look.

, and . J. Log. Algebraic Methods Program., (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Jorge Navarro-Pérez

Jorge Mercado Pérez

Jorge Humberto Tapia-Pérez

Jorge Antonio Pérez Donato

Jorge Gonzalez Perez

 

Other publications of authors with the same name

Monitoring Blackbox Implementations of Multiparty Session Protocols., , and . RV, volume 14245 of Lecture Notes in Computer Science, page 66-85. Springer, (2023)A Minimal Formulation of Session Types., , and . CoRR, (2023)Minimal Session Types for the π-calculus (Extended Version)., , and . CoRR, (2021)Comparing type systems for deadlock freedom., and . J. Log. Algebraic Methods Program., (2022)A decentralized analysis of multiparty protocols., and . Sci. Comput. Program., (2022)Scalable Typestate Analysis for Low-Latency Environments., , and . IFM, volume 13274 of Lecture Notes in Computer Science, page 322-340. Springer, (2022)An Event-Based Approach to Runtime Adaptation in Communication-Centric Systems., and . WS-FM, volume 9421 of Lecture Notes in Computer Science, page 67-85. Springer, (2015)Linearity, Control Effects, and Behavioral Types., and . ESOP, volume 10201 of Lecture Notes in Computer Science, page 229-259. Springer, (2017)Session Type Systems based on Linear Logic: Classical versus Intuitionistic., and . PLACES@ETAPS, volume 314 of EPTCS, page 1-11. (2020)Session Types with Runtime Adaptation: Overview and Examples., and . PLACES, volume 137 of EPTCS, page 21-32. (2013)