Research interests:

• Int 1
• Int 2
• Int 3

Main recent publications:

• F. Rosa-Velardo, D. Frutos-Escrig and O. Marroquín-Alonso: On the Expressiveness of Mobile Synchronizing Petri Nets, Electr. Notes Theor. Comput. Sci. Vol.180,1, 77-94. 2007.  
• L.F. Llana-Díaz, D. Frutos-Escrig and M. Núñez: Testing Semantics for Urgent Timed Process Algebras, Real-Time Systems. Modeling, Design and Applications, Amast Series in Computing: Vol. 8,  221-235. 2007.  ISBN-10: 981-02-4424-X
• F. Cuartero, D. Frutos, V. Valero, “PCSP: A denotational model of probabilistic processes”, LIBRO: Real-Time Systems: Modeling, Design, and Applications, Amast Series in Computing: Vol. 8 pgs.57-76, Ed. World Scienti_c. 2007 CLAVE: CL ISBN-10: 981-02-4424-X.
• Fernando Rosa Velardo, David de Frutos-Escrig, “Name Creation vs. Replication in Petri Net Systems”, LIBRO: ICATPN 2007 - 28th International Conference on Applications and Theory of Petri Nets and Other
  Models of Concurrency - LNCS 4546 pgs.402-422 Ed. Springer-Verlag (Alemania) 2007 CLAVE: A (Libro) ISBN 978-3-540-73093-4.
• David de Frutos-Escrig, Fernando Rosa Velardo, Carlos Gregorio-Rodríguez, “New Bisimulation Semantics for Distributed Systems”, LIBRO: FORTE 2007 - Formal Techniques for Networked and Distributed Systems - LNCS 4574 pgs.143-159 Ed. Springer-Verlag (Alemania) 2007 CLAVE: A (Libro) ISBN 978-3-540-73195-5.
• David de Frutos-Escrig, C. Gregorio Rodríguez, “Simulations up-to and Canonical Preorders (extended abstract)”, REVISTA: Electr. Notes Theor. Comput. Sci. Vol.192 pgs.13-28 Ed. Elsevier(Holanda) 2007 CLAVE: A (Revista electrónica) ISSN 1571-0661.
• Ignacio Fábregas, Miguel Palomino, David de Frutos Escrig, “Reflection and preservation of properties in coalgebraic (bi)simulations”, LIBRO: ICTAC 2007 - Theoretical Aspects of Computing, 4th International Colloquium - LNCS 4711 pgs.231- 245 Ed. Springer-Verlag (Alemania) 2008 CLAVE: A (Libro) ISBN 978-3-540-75290-5.
• David de Frutos-Escrig, C. Gregorio Rodríguez, “Constrained Simulations, Nested Simulation Semantics and Counting Bisimulations”, REVISTA: Electr. Notes Theor. Comput. Sci. Vol 206 pgs.41-58 Ed. Elsevier (Holanda) 2008 CLAVE: A (Revista electrónica) ISSN 1571-0661.
  Hermenegilda Macía, Valentín Valero Ruiz, Fernando Cuartero, David de Frutos-Escrig, “A congruence relation for sPBC”, REVISTA: Formal Methods in System Design Vol.32,2 pgs.85-128 Ed. Springer 2008 CLAVE: A ISSN 0925-9856.
• David de Frutos Escrig, Miguel Palomino, Ignacio Fábregas, “Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations”, LIBRO: FORTE 2008 - Formal Techniques for Networked and Distributed Systems - LNCS 5048 pgs.283-298 Ed. Springer-Verlag (Alemania) 2008 CLAVE: A (Libro).
• David de Frutos Escrig, C. Gregorio Rodríguez, Miguel Palomino, “Coinductive Characterisations Reveal Nice Relations Between Preorders and Equivalences”, REVISTA: Electr. Notes Theor. Comput. Sci. 212 pgs.149-162 Ed. Elsevier(Holanda) CLAVE: A (Revista electrónica) ISSN 1571-0661.
  David de Frutos Escrig, Carlos Gregorio Rodríguez, “Universal Coinductive Characterisations of Process Semantics”, LIBRO: Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008 pgs.397-412 Ed. Springer (Alemania) SSBM CLAVE: A (Libro).
• Fernando Rosa-Velardo, David de Frutos-Escrig, “Name Creation vs. Replication in Petri Net Systems”, REVISTA: Fundamenta Informaticae, vol. 88(3), pgs.329-356 IOS Press, 2008 CLAVE: A ISSN 0169-2968.
• David de Frutos-Escrig, Carlos Gregorio Rodríguez, “(Bi)Simulations Up-to and Canonical Preorders for the Study of Process Semantics”, REVISTA: Information and Computation (to appear) 25 pags. Ed. Elsevier (Holanda) CLAVE: A ISSN 0890-5401.
• David de Frutos-Escrig, Carlos Gregorio Rodríguez, Miguel Palomino, “Ready to preorder: an algebraic and general proof”, REVISTA: Journal of Logic and Algebraic Programming (to appear) 13 pags. Ed. Elsevier(Holanda) CLAVE: A ISSN 1567-8326