( en | de | ru )

 

Disambiguation of "Pérez, Jorge A."

Author of the publication

copydeleteadd this publication to your clipboard
The Challenge of Typed Expressiveness in Concurrency.

. FORTE, volume 9688 of Lecture Notes in Computer Science, page 239-247. Springer, (2016)

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

On primitives for compensation handling as adaptable processes., , and . J. Log. Algebraic Methods Program., (2021)On the relative expressiveness of higher-order session processes., , and . Inf. Comput., (2019)Towards the Verification of Adaptable Processes., , , and . ISoLA (1), volume 7609 of Lecture Notes in Computer Science, page 269-283. Springer, (2012)Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols., , and . ESOP, volume 12648 of Lecture Notes in Computer Science, page 375-403. Springer, (2021)Minimal Session Types for the π-calculus., , and . PPDP, page 12:1-12:15. ACM, (2021)Reversible Session-Based Concurrency in Haskell., and . TFP, volume 11457 of Lecture Notes in Computer Science, page 20-45. Springer, (2018)Disciplined structured communications with consistent runtime adaptation., and . SAC, page 1913-1918. ACM, (2013)Typed Non-determinism in Functional and Concurrent Calculi., , , and . APLAS, volume 14405 of Lecture Notes in Computer Science, page 112-132. Springer, (2023)Around Classical and Intuitionistic Linear Processes., , and . CONCUR, volume 311 of LIPIcs, page 30:1-30:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2024)Monitoring Blackbox Implementations of Multiparty Session Protocols., , and . RV, volume 14245 of Lecture Notes in Computer Science, page 66-85. Springer, (2023)