CARLOS
GREGORIO RODRÍGUEZ
Profesor titular de universidad
Publicaciones en las que colabora con CARLOS GREGORIO RODRÍGUEZ (22)
2019
-
Introducing MOOC-like methodologies in a face-to-face undergraduate course: a detailed case study
Interactive Learning Environments, Vol. 27, Núm. 1, pp. 15-32
-
Logical characterisations, rule formats and compositionality for input-output conformance simulation
Journal of Logical and Algebraic Methods in Programming, Vol. 106, pp. 78-106
2017
-
Aplicando técnicas inspiradas en MOOCs en una asignatura de introducción a la programación
Las TIC en la enseñanza. Experiencias en la UCM: actas de la Jornada. 29 de marzo de 2017, Facultad de Geografía e Historia (Universidad Complutense de Madrid), pp. 125-129
-
Logical characterisations and compositionality of input-output conformance simulation
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2014
-
Axiomatizing weak simulation semantics over BCCSP
Theoretical Computer Science, Vol. 537, Núm. C, pp. 42-71
2013
-
Unifying the linear time-branching time spectrum of strong process semantics
Logical Methods in Computer Science, Vol. 9, Núm. 2
2012
-
The equational theory of weak complete simulation semantics over BCCSP
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2011
-
Axiomatizing weak ready simulation semantics over BCCSP
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Complete and ready simulation semantics are not finitely based over BCCSP, even with a singleton alphabet
Information Processing Letters, Vol. 111, Núm. 9, pp. 408-413
2009
-
(Bi)simulations up-to characterise process semantics
Information and Computation
-
On the Unification of Process Semantics: Equational Semantics
Electronic Notes in Theoretical Computer Science, Vol. 249, pp. 243-267
-
On the unification of process semantics: Observational semantics
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Ready to preorder: an algebraic and general proof
Journal of Logic and Algebraic Programming, Vol. 78, Núm. 7, pp. 539-551
2008
-
Coinductive Characterisations Reveal Nice Relations Between Preorders and Equivalences
Electronic Notes in Theoretical Computer Science, Vol. 212, Núm. C, pp. 149-162
-
Constrained Simulations, Nested Simulation Semantics and Counting Bisimulations
Electronic Notes in Theoretical Computer Science, Vol. 206, Núm. C, pp. 41-58
-
Universal coinductive characterisations of process semantics
IFIP International Federation for Information Processing
2007
-
New bisimulation semantics for distributed systems
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Simulations Up-to and Canonical Preorders. (Extended Abstract)
Electronic Notes in Theoretical Computer Science, Vol. 192, Núm. 1 SPEC. ISS., pp. 13-28
2006
-
Process equivalences as global bisimulations
Journal of Universal Computer Science
2005
-
Bisimulations up-to for the linear time branching time spectrum
Lecture Notes in Computer Science