( en | de | ru )

 

Disambiguation of "Pérez, Jorge A."

Author of the publication

copydeleteadd this publication to your clipboard
Minimal Session Types for the π-calculus.

, , and . PPDP, page 12:1-12:15. ACM, (2021)

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

A Minimal Formulation of Session Types., , and . CoRR, (2023)Minimal Session Types for the π-calculus (Extended Version)., , and . CoRR, (2021)A decentralized analysis of multiparty protocols., and . Sci. Comput. Program., (2022)Comparing type systems for deadlock freedom., and . J. Log. Algebraic Methods Program., (2022)Monitoring Blackbox Implementations of Multiparty Session Protocols., , and . RV, volume 14245 of Lecture Notes in Computer Science, page 66-85. Springer, (2023)Scalable Typestate Analysis for Low-Latency Environments., , and . IFM, volume 13274 of Lecture Notes in Computer Science, page 322-340. Springer, (2022)Steps on the Road to Component Evolvability., , , and . FACS, volume 6921 of Lecture Notes in Computer Science, page 295-299. Springer, (2010)Hyperledger Fabric: Evaluating Endorsement Policy Strategies in Supply Chains., , , , , and . DAPPS, page 145-152. IEEE, (2020)Time and Exceptional Behavior in Multiparty Structured Interactions., and . WS-FM, volume 7176 of Lecture Notes in Computer Science, page 48-63. Springer, (2011)Linearity, Control Effects, and Behavioral Types., and . ESOP, volume 10201 of Lecture Notes in Computer Science, page 229-259. Springer, (2017)