Biblioteca de la Universidad Complutense de Madrid

Consultar por Autor

Subir un nivel
Exportar como [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Número de eprints: 5.

Romero Hernández, David (2010) Caracterizaciones lógicas uniformes de las semánticas de procesos. [Trabajo Fin de Máster]

Romero Hernández, David y Frutos Escrig, David de (2012) Defining distances for all process semantics. In Formal Techniques for Distributed Systems : Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings. Lecture notes in computer science (7273). Springer, pp. 169-185. ISBN 978-3-642-30792-8

Romero Hernández, David (2016) Más sobre equivalencias lógicas y distancias entre procesos. [Tesis Doctoral]

Romero Hernández, David y Frutos Escrig, David de (2011) On the unification of process semantics: logical semantics. Electronic proceedings in theoretical computer science, 62 . pp. 47-61. ISSN 2075-2180

Frutos Escrig, David de y Gregorio Rodríguez, Carlos y Palomino, Miguel y 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

Esta lista fue generada el Sat Dec 10 02:37:37 2016 CET.