Search the dblp DataBase

Publications of Author

1. Carlos Gregorio-Rodríguez, M. Nunez Garcia, Pedro Palao-Gostanza
   La Potencia Expresiva de los Catamorfismos. [Citation Graph (0, 0)][DBLP]
   GULP-PRODE, 1995, pp:477-484 [Conf]
   
2. Carlos Gregorio-Rodríguez, Luis Fernando Llana Díaz, Manuel Núñez, Pedro Palao-Gostanza
   Testing Semantics for a Probabilistic-Timed Process Algebra. [Citation Graph (0, 0)][DBLP]
   ARTS, 1997, pp:353-367 [Conf]
   
3. David de Frutos-Escrig, Carlos Gregorio-Rodríguez
   Bisimulations Up-to for the Linear Time Branching Time Spectrum. [Citation Graph (0, 0)][DBLP]
   CONCUR, 2005, pp:278-292 [Conf]
   
4. David de Frutos-Escrig, Carlos Gregorio-Rodríguez
   Preserving Contexts for Soft Conformance Relation. [Citation Graph (0, 0)][DBLP]
   FATES, 2004, pp:33-48 [Conf]
   
5. Carlos Gregorio-Rodríguez, Pedro Palao-Gostanza
   Ergotracer: An Internet User Behaviour Tracer. [Citation Graph (0, 0)][DBLP]
   IICS, 2002, pp:121-132 [Conf]
   
6. Carlos Gregorio-Rodríguez, Manuel Núñez
   Denotational Semantics for Probabilistic Refusal Testing. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 1999, v:22, n:, pp:- [Journal]
   
7. David de Frutos-Escrig, Carlos Gregorio-Rodríguez
   Process Equivalences as Global Bisimulations. [Citation Graph (0, 0)][DBLP]
   J. UCS, 2006, v:12, n:11, pp:1521-1550 [Journal]
   
8. David de Frutos-Escrig, Fernando Rosa Velardo, Carlos Gregorio-Rodríguez
   New Bisimulation Semantics for Distributed Systems. [Citation Graph (0, 0)][DBLP]
   FORTE, 2007, pp:143-159 [Conf]
   
9. 
   Universal Coinductive Characterisations of Process Semantics. [Citation Graph (, )][DBLP]
   
   
10. 
    On the Unification of Process Semantics: Observational Semantics. [Citation Graph (, )][DBLP]
    
    
11. 
    EXercita: automatic web publishing of programming exercises. [Citation Graph (, )][DBLP]
    
    
12. 
    Simulations Up-to and Canonical Preorders: (Extended Abstract). [Citation Graph (, )][DBLP]
    
    
13. 
    Constrained Simulations, Nested Simulation Semantics and Counting Bisimulations. [Citation Graph (, )][DBLP]
    
    
14. 
    Coinductive Characterisations Reveal Nice Relations Between Preorders and Equivalences. [Citation Graph (, )][DBLP]
    
    
15. 
    On the Unification of Process Semantics: Equational Semantics. [Citation Graph (, )][DBLP]