J.C. (Juan ) Jaramillo Londoño

PhD student

Faculty of Science and Engineering

Telephone:

+31 6 4801 1798

E-mail:

j.c.jaramillo.londono rug.nl

Research Portal

Publications

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

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 (2) publications

View full research profile