Carlos GREGORIO-RODRÍGUEZ
Carlos GREGORIO-RODRÍGUEZ
Dirección de correo verificada de sip.ucm.es - Página principal
Título
Citado por
Citado por
Año
Denotational semantics for probabilistic refusal testing
C Gregorio-Rodríguez, M Núñez
Electronic Notes in Theoretical Computer Science 22, 111-137, 1999
241999
Input-Output Conformance Simulation (iocos) for Model Based Testing
C Gregorio-Rodríguez, L Llana, R Martínez-Torres
Formal Techniques for Distributed Systems, 114-129, 2013
232013
Bisimulations up-to for the linear time branching time spectrum
D de Frutos Escrig, CG Rodríguez
International Conference on Concurrency Theory, 278-292, 2005
222005
Ready to preorder: an algebraic and general proof
CG Rodríguez, M Palomino
The Journal of Logic and Algebraic Programming 78 (7), 539-551, 2009
202009
Universal coinductive characterisations of process semantics
D de Frutos Escrig, CG Rodríguez
Fifth Ifip International Conference On Theoretical Computer Science–Tcs 2008 …, 2008
182008
On the unification of process semantics: Equational semantics
D de Frutos Escrig, CG Rodríguez, M Palomino
Electronic Notes in Theoretical Computer Science 249, 243-267, 2009
162009
Simulations up-to and canonical preorders
D de Frutos Escrig, CG Rodríguez
Electronic Notes in Theoretical Computer Science 192 (1), 13-28, 2007
162007
New bisimulation semantics for distributed systems
D de Frutos-Escrig, F Rosa-Velardo, C Gregorio-Rodríguez
International Conference on Formal Techniques for Networked and Distributed …, 2007
162007
Coinductive characterisations reveal nice relations between preorders and equivalences
D de Frutos Escrig, CG Rodríguez, M Palomino
Electronic Notes in Theoretical Computer Science 212, 149-162, 2008
152008
Testing semantics for a probabilistic-timed process algebra
C Gregorio-Rodríguez, L Llana-Diaz, M Núñez, P Palao-Gostanza
International AMAST Workshop on Aspects of Real-Time Systems and Concurrent …, 1997
141997
Extending mCRL2 with ready simulation and iocos input-output conformance simulation
C Gregorio-Rodríguez, L Llana, R Martínez-Torres
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 1781-1788, 2015
122015
On the unification of process semantics: Observational semantics
D de Frutos Escrig, CG Rodríguez, M Palomino
International Conference on Current Trends in Theory and Practice of …, 2009
112009
Los recursos marítimos y el registro arqueológico de Lixus (Larache, Marruecos)
C ARANEGUI, CG RODRíGUEZ, MJ RODRIGO
Historia de la pesca en el ámbito del Estrecho. i Conferencia internacional 5, 2006
112006
Unifying the linear time-branching time spectrum of strong process semantics
D Frutos Escrig, C Gregorio Rodriguez, M Palomino, ...
Logical methods in computer science 9 (2), 2013
102013
Effectiveness for input output conformance simulation iocos
C Gregorio-Rodríguez, L Llana, R Martínez-Torres
International Conference on Formal Techniques for Distributed Objects …, 2014
92014
EXercita
C Gregorio Rodríguez, LF Llana Díaz, R Martínez Unanue, ...
Computers and Education, 187-197, 2002
92002
Axiomatizing weak ready simulation semantics over BCCSP
L Aceto, D de Frutos Escrig, C Gregorio-Rodríguez, A Ingolfsdottir
International Colloquium on Theoretical Aspects of Computing, 7-24, 2011
82011
Datos para la gestión pesquera de Lixus (Larache, Marruecos)
C Aranegui, CG Rodríguez, MJ Rodrigo
BAR INTERNATIONAL SERIES 1686, 205, 2007
82007
Axiomatizing weak ready simulation semantics over BCCSP
L Aceto, D de Frutos Escrig, C Gregorio-Rodríguez, A Ingolfsdottir
Theoretical Aspects of Computing–ICTAC 2011, 0
8*
(Bi) simulations up-to characterise process semantics
D de Frutos Escrig, CG Rodriguez
Information and Computation 207 (2), 146-170, 2009
62009
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20