Información del autor
Documentos disponibles escritos por este autor (21)
Añadir el resultado a su cesta Hacer una sugerencia Refinar búsqueda
texto impreso
Martín Martín, Enrique ; Riesco Rodríguez, Adrián ; Montenegro Montes, Manuel ; Tamarit Muñoz, Salvador ; Sánchez Hernández, Jaime ; Gregorio Rodríguez, Carlos | 2016-01-28Proponemos estudiar la aplicabilidad y posibles medios de implementación de un sistema de tutoriales interactivos para el aprendizaje de la programación, donde el alumno aprende nuevos conceptos a la vez que los practica.texto impreso
Aceto, Luca ; Frutos Escrig, David de ; Gregorio Rodríguez, Carlos ; Ingolfsdottir, Anna | Springer | 2011Ready simulation has proven to be one of the most significant semantics in process theory. It is at the heart of a number of general results that pave the way to a comprehensive understanding of the spectrum of process semantics. Since its origi[...]texto impreso
This paper is devoted to the study of the (in)equational theory of the largest (pre)congruences over the language BCCSP induced by variations on the classic simulation preorder and equivalence that abstract from internal steps in process behavio[...]texto impreso
We define (bi)simulations up-to a preorder and show how we can use them to provide a coinductive, (bi)simulation-like, characterisation of semantic (equivalences) preorders for processes. In particular, we can apply our results to all the semant[...]texto impreso
Coinductive definitions of semantics based on bisimulations have rather pleasant properties and are simple to use. In order to get coinductive characterisations of those semantic equivalences that are weaker than strong bisimulation we use a var[...]texto impreso
Cleva Millor, José Miguel ; Gregorio Rodríguez, Carlos ; Rosa Velardo, Fernando | Editorial Complutense | 2005Uno de los objetivos principales de este trabajo es aclarar las diferencias entre conceptos y herramientas cuando se utilizan las tecnologías de la comunicación. En particular, queremos dejar claro que la esencia del Campus Virtual no es la herr[...]texto impreso
There are two ways to define a semantics for process algebras: either directly by means of an equivalence relation or by means of a preorder whose kernel is the desired equivalence. We are interested in the relationship between these two present[...]texto impreso
Nested simulations define an interesting hierarchy of semantic preorders and equivalences in which every semantics refines the previous one and it is refined by the following. This nested nature provides a fruitful framework for the study of the[...]texto impreso
texto impreso
Gregorio Rodríguez, Carlos | 2015-07Entre los nuevos retos que tiene que afrontar la Universidad están los cambios de paradigmas educativos que propician las tecnologías de la información. Los dispositivos y redes que actualmente permiten la comunicación a Internet de forma contin[...]texto impreso
Bisimulation semantics are a very pleasant way to define the semantics of systems, mainly because the simplicity of their definitions and their nice coalgebraic properties. However, they also have some disadvantages: they are based on a sequenti[...]texto impreso
The complexity of parallel systems has produced a large collection of semantics for processes, a classification of which is provided by Van Glabbeek's linear time-branching time spectrum; however, no suitable unified definitions were available. [...]texto impreso
The complexity of parallel systems has produced a large collection of semantics for processes. Van Glabbeek’s linear time-branching time spectrum provides a classification of most of these semantics; however, no suitable unified definitions were[...]texto impreso
Bustamante Donas , Javier ; Gregorio Rodríguez, Carlos ; Sanz Cabrerizo, Amelia | Editorial Complutense | 2007La UCM está apostando de forma decidida por un Campus Virtual que proporcione a todos los universitarios nuevas posibilidades de enseñanza y de aprendizaje en el marco de un modelo mixto; esto es, presencial y virtual. En este sentido, el llamad[...]texto impreso
This paper addresses the study of bisimulation based conformance relations in which input and output actions not presented in the specification are added to the implementation. A new definition, that we called soft conformance, is given. Then, w[...]
