Session-based concurrency in Maude: Executable semantics and type checking
CA Ramírez Restrepo, JC Jaramillo, JA Pérez. Journal of Logical and Algebraic Methods in Programming 133, 100872, 2023
Paper | Pre-print | Bibtex
Executable Semantics and Type Checking for Session-Based Concurrency in Maude
CA Ramírez Restrepo, JA Pérez. 14th International Workshop on Rewriting Logic and its Applications (WRLA 2022), Munich, April 2022
SPARQL2Flink: Evaluation of SPARQL Queries on Apache Flink
O Ceballos, CA Ramírez Restrepo, MC Pabón, AM Castillo, O Corcho. Applied Sciences 11 (15), 7033, 2021
Towards formal interaction-based models of grid computing infrastructures.
CAR Restrepo, JA Pérez, J Aranda, JF Díaz-Frias. Electronic Proceedings in Theoretical Computer Science, 2014