Carlos Alberto Ramirez Restrepo
Carlos Alberto Ramirez Restrepo
Verified email at - Homepage
Cited by
Cited by
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
arXiv preprint arXiv:1404.0085, 2014
Executable semantics and type checking for session-based concurrency in Maude
CA Ramírez Restrepo, JA Pérez
International Workshop on Rewriting Logic and its Applications, 230-250, 2022
Session-based concurrency in Maude: Executable semantics and type checking
CAR Restrepo, JC Jaramillo, JA Pérez
Journal of Logical and Algebraic Methods in Programming 133, 100872, 2023
An Approach to formal Modeling of grid Computing.
CA Ramírez Restrepo
Universidad del Valle, 0
The system can't perform the operation now. Try again later.
Articles 1–5