J.A. (Jorge) Perez Parra, Prof

Associate Professor in Software Foundations

Faculty of Science and Engineering

Telephone:

+31 50 36 33971

E-mail:

j.a.perez rug.nl

Homepage ORCID Research Portal

Research interests

Rigorous programming models for concurrent and message-passing computation.

Publications

Asynchronous Session-Based Concurrency: Deadlock-freedom in Cyclic Process Networks

van den Heuvel, B. & Pérez, J. A., 7-Oct-2024, In: Logical Methods in Computer Science. 20, 4, p. 6:1-6:103 103 p.

Research output: Contribution to journal › Article › Academic › peer-review

Around Classical and Intuitionistic Linear Processes

Jaramillo, J. C., Frumin, D. & Pérez, J. A., Sept-2024, 35th International Conference on Concurrency Theory, CONCUR 2024. Majumdar, R. & Silva, A. (eds.). Schloss Dagstuhl--Leibniz-Zentrum für Informatik, 19 p. 30. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 311).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Minimal session types for the π-calculus

Arslanagić, A., Pérez, J. A. & Palamariuc, A. A., Mar-2024, In: Information and Computation. 297, 67 p., 105148.

Research output: Contribution to journal › Article › Academic › peer-review

On the relative expressiveness of higher-order session processes

Kouzapas, D., Perez, J. A. & Yoshida, N., Oct-2019, In: Information and Computation. 268, 54 p., 104433.

Research output: Contribution to journal › Article › Academic › peer-review

Runtime Verification for Decentralised and Distributed Systems

Francalanza, A., Pérez, J. A. & Sánchez, C., Feb-2018, Lectures on Runtime Verification. Bartocci, E. & Falcone, Y. (eds.). Springer, p. 176-210 35 p.

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

Comparing session type systems derived from linear logic

van den Heuvel, B. & Pérez, J. A., Jan-2025, In: Journal of Logical and Algebraic Methods in Programming. 142, 26 p., 101004.

Research output: Contribution to journal › Article › Academic › peer-review

Contrasting Deadlock-Free Session Processes

Jaramillo, J. C. & Pérez, J. A., 25-Jun-2025, 39th European Conference on Object-Oriented Programming, ECOOP 2025. Aldrich, J. & Silva, A. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 29 p. 17. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 333).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

A Gentle Overview of Asynchronous Session-based Concurrency: Deadlock Freedom by Typing

van den Heuvel, B. & Pérez, J. A., 11-Dec-2024, (Submitted) arXiv, 20 p.

Research output: Working paper › Preprint › Academic

Bit-Vector Typestate Analysis

Arslanagic, A., Subotić, P. & Pérez, J. A., Sept-2023, In: Formal Aspects of Computing. 35, 3, p. 1-36 36 p., 19.

Research output: Contribution to journal › Article › Academic › peer-review

Monitoring Blackbox Implementations of Multiparty Session Protocols

van den Heuvel, B., Pérez, J. A. & Dobre, R. A., 1-Oct-2023, Runtime Verification: 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, Proceedings. Katsaros, P. & Nenzi, L. (eds.). Springer, p. 66-85 20 p. (Lecture Notes in Computer Science; vol. 14245).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review