Carlos Alberto Ramírez Restrepo

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 2

Top Topics

Complex Objects

Resource Discovery

Top Venues

J. Log. Algebraic Methods Program.

Publications

Carlos Alberto Ramírez Restrepo, Juan C. Jaramillo, Jorge A. Pérez
Session-based concurrency in Maude: Executable semantics and type checking. J. Log. Algebraic Methods Program. 133 (2023)
Carlos Alberto Ramírez Restrepo, Jorge A. Pérez
Executable Semantics and Type Checking for Session-Based Concurrency in Maude. WRLA@ETAPS (2022)
Carlos Alberto Ramírez Restrepo, Jorge A. Pérez, Jesús Aranda, Juan Francisco Díaz
Towards Formal Interaction-Based Models of Grid Computing Infrastructures. DCM (2013)