Skip to Content Skip to Navigation

About us Practical matters How to find us J.A. (Jorge) Perez Parra, Prof

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

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

Non-Deterministic Functions as Non-Deterministic Processes (Extended Version)

Paulus, J., Nantes-Sobrinho, D. & Pérez, J. A., 10-Oct-2023, In: Logical Methods in Computer Science. 19, 4, 120 p.

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

Session-based concurrency in Maude: Executable semantics and type checking

Ramírez Restrepo, C. A., Jaramillo, J. C. & Pérez, J. A., Jun-2023, In: The Journal of Logical and Algebraic Methods in Programming. 133, 100872.

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

All (90) publications

Press/media

Research minute - Young Academy Groningen

Perez Parra, J.

03/09/2019

Press/Media: Public Engagement Activities › Popular

The power of logic in computation

Hansen, H. H., Perez Parra, J. & Frumin, D.

19/04/2022

Press/Media: Other › Professional

All (2) press/media

View full research profile

Follow the UGfacebook twitter linkedin rss instagram youtube