Carlos Alberto Ramírez Restrepo

According to our database, Carlos Alberto Ramírez Restrepo authored at least 3 papers between 2013 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Session-based concurrency in Maude: Executable semantics and type checking.

Carlos Alberto Ramírez Restrepo, Juan C. Jaramillo, Jorge A. Pérez

J. Log. Algebraic Methods Program., June, 2023

2022

Executable Semantics and Type Checking for Session-Based Concurrency in Maude.

Carlos Alberto Ramírez Restrepo, Jorge A. Pérez

Proceedings of the Rewriting Logic and Its Applications - 14th International Workshop, 2022

2013

Towards Formal Interaction-Based Models of Grid Computing Infrastructures.

Carlos Alberto Ramírez Restrepo, Jorge A. Pérez, Jesús Aranda, Juan Francisco Díaz

Proceedings of the Proceedings 9th International Workshop on Developments in Computational Models, 2013