David Romero-Hernández

Publication Activity (10 Years)

Years Active: 2011-2015
Publications (10 Years): 1

Top Topics

Distance Function

Science Fiction

Epistemic Logic

Top Venues

Log. Methods Comput. Sci.

Publications

David Romero-Hernández, David de Frutos-Escrig, Dario Della Monica
Proving Continuity of Coinductive Global Bisimulation Distances: A Never Ending Story. PROLE (2015)
David Romero-Hernández, David de Frutos-Escrig
Coinductive Definition of Distances between Processes: Beyond Bisimulation Distances. FORTE (2014)
David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Miguel Palomino, David Romero-Hernández
Unifying the Linear Time-Branching Time Spectrum of Process Semantics Log. Methods Comput. Sci. 9 (2) (2013)
David Romero-Hernández, David de Frutos-Escrig
Defining Distances for All Process Semantics. FMOODS/FORTE (2012)
David Romero-Hernández, David de Frutos-Escrig
Distances between Processes: A Pure Algebraic Approach. WADT (2012)
David Romero-Hernández, David de Frutos-Escrig
On the Unification of Process Semantics: Logical Semantics SOS (2011)