Universidad Complutense de Madrid
E-Prints Complutense


Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Number of items: 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 and 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. [Thesis]

Romero Hernández, David and 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 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

This list was generated on Mon Feb 24 10:23:28 2020 CET.