Carlos Gregorio Rodríguez

Ejercicios De Programación: Creativos Y Recreativos Con C++

Ruth Martinez, Carlos Gregorio Rodríguez, L. F. Llana, 2002 .

Computing Curricula 2001

Carlos Gregorio Rodríguez, Raquel Martínez Unanue, Angel Herranz Nieva, 2002 .

Simulations Up-to and Canonical Preorders

David de Frutos Escrig, Carlos Gregorio Rodríguez, D. F. Escrig, 2007 .

Universal Coinductive Characterisations of Process Semantics

David de Frutos Escrig, Carlos Gregorio Rodríguez, 2008 .

New Bisimulation Semantics for Distributed Systems

David de Frutos Escrig, Carlos Gregorio Rodríguez, Fernando Rosa Velardo, 2007 .