Complutense University Library

IndexAuthor

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Number of items: 18.

Frutos Escrig, David de and Gregorio Rodríguez, Carlos (2009) (Bi)simulations up-to characterise process semantics. Information and computation, 207 (2). pp. 146-170. ISSN 0890-5401

Aceto , Luca and Frutos Escrig, David de and Gregorio Rodríguez, Carlos and Ingolfsdottir, Anna (2011) Axiomatizing Weak Ready Simulation Semantics over BCCSP. In Theoretical Aspects of Computing – ICTAC 2011 : 8th International Colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings. Lecture notes in computer science (6916). Springer, pp. 7-24. ISBN 978-3-642-23282-4

Aceto, Luca and Frutos Escrig, David de and Gregorio Rodríguez, Carlos (2014) Axiomatizing weak simulation semantics over BCCSP. Theoretical computer science, 537 . pp. 42-71. ISSN 0304-3975

Frutos Escrig, David de and Gregorio Rodríguez, Carlos (2005) Bisimulations Up-to for the Linear Time Branching Time Spectrum. In CONCUR 2005 – Concurrency Theory : 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005. Proceedings. Lecture notes in computer science (3653). Springer, pp. 278-292. ISBN 978-3-540-28309-6

Frutos Escrig, David de and Gregorio Rodríguez, Carlos and Palomino, Miguel (2008) Coinductive Characterisations Reveal Nice Relations Between Preorders and Equivalences. Electronic Notes in Theoretical Computer Science, 212 . pp. 149-162. ISSN 15710661

Frutos Escrig, David de and Gregorio Rodríguez, Carlos (2008) Constrained simulations, nested simulation semantics and counting bisimulations. In Proceedings of the Seventh Spanish Conference on Programming and Computer Languages (PROLE 2007). Electronic Notes in Theoretical Computer Science (206). Elsevier Science , pp. 41-58. ISBN 1571-0661

Frutos Escrig, David de and Rosa Velardo, Fernando and Gregorio Rodríguez, Carlos (2007) New Bisimulation Semantics for Distributed Systems. In Formal Techniques for Networked and Distributed Systems – FORTE 2007 : 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings. Lecture notes in computer science (4574). Springer, pp. 143-159. ISBN 978-3-540-73195-5

Frutos Escrig, David de and Gregorio Rodríguez, Carlos and Palomino, Miguel (2009) On the unification of process semantics: equational semantics. Electronic Notes in Theoretical Computer Science, 249 . pp. 243-267. ISSN 15710661

Frutos Escrig, David de and Gregorio Rodríguez, Carlos and Palomino, Miguel (2009) On the unification of process semantics: observational semantics. In SOFSEM 2009: Theory and Practice of Computer Science : 35th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 24-30, 2009. Proceedings. Lecture notes in computer science (5404). Springer, pp. 279-290. ISBN 978-3-540-95890-1

Bustamante Donas , Javier and Gregorio Rodríguez, Carlos and Sanz Cabrerizo, Amelia (2007) Plataformas en código abierto o en código cerrado para la UCM. In III jornada Campus Virtual UCM : Innovación en el Campus Virtual metodologías y herramientas. Editorial Complutense, Madrid, pp. 261-263. ISBN 978-84-7491-811-3

Frutos Escrig, David de and Gregorio Rodríguez, Carlos (2005) Preserving contexts for soft conformance relation. In Formal Approaches to Software Testing : 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers. Lecture notes in computer science (3395). Springer, pp. 33-48. ISBN 978-3-540-25109-5

Frutos Escrig, David de and Gregorio Rodríguez, Carlos (2006) Process equivalences as global bisimulations. Journal of universal computer science, 12 (11). pp. 1521-1550. ISSN 0948-695x

Frutos Escrig, David de and Gregorio Rodríguez, Carlos and Palomino, Miguel (2009) Ready to preorder: an algebraic and general proof. Journal of Logic and Algebraic Programming , 78 (7). pp. 539-551. ISSN 1567-8326

Frutos Escrig, David de and Gregorio Rodríguez, Carlos (2007) Simulations up-to and canonical preorders. Electronic Notes in Theoretical Computer Science, 192 (1). pp. 13-28. ISSN 15710661

Aceto , Luca and Frutos Escrig, David de and Gregorio Rodríguez, Carlos and Ingolfsdottir, Anna (2012) The equational theory of weak complete simulation semantics over BCCSP. In SOFSEM 2012: Theory and Practice of Computer Science : 38th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 21-27, 2012. Proceedings. Lecture notes in computer science (7147). Springer, pp. 141-152. ISBN 978-3-642-27659-0

Cleva Millor, José Miguel and Gregorio Rodríguez, Carlos and Rosa Velardo, Fernando (2005) Un campus virtual alternativo. In II Jornada Campus Virtual UCM: cómo integrar investigación y docencia en el CV-UCM. Editorial Complutense, Madrid, pp. 222-232. ISBN 84-7491-787-5

Frutos Escrig, David de and Gregorio Rodríguez, Carlos and Palomino, Miguel and Romero Hernández, David (2013) Unifying the linear time-branching time spectrum of strong process semantics. Logical methods in computer science, 9 (2). ISSN 1860-5974

Frutos Escrig, David de and Gregorio Rodríguez, Carlos (2008) Universal Coinductive Characterisations of Process Semantics. In Fifth Ifip International Conference On Theoretical Computer Science – Tcs 2008 :. IFIP International Federation for Information Processing, Part I (273). Springer, pp. 397-412. ISBN 978-0-387-09679-7

This list was generated on Sat Oct 25 03:39:02 2014 CEST.