J.C. (Juan ) Jaramillo Londoño

PhD student

Faculteit Science and Engineering

Telefoon:

06 4801 1798

E-mail:

j.c.jaramillo.londono rug.nl

Research Portal

Publicaties

Around Classical and Intuitionistic Linear Processes

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

Onderzoeksoutput › › 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.

Onderzoeksoutput › › peer review

Alle (2) publicaties

Bekijk volledig onderzoeksprofiel