David Romero-Hernández

According to our database, David Romero-Hernández authored at least 6 papers between 2011 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Proving Continuity of Coinductive Global Bisimulation Distances: A Never Ending Story.

David Romero-Hernández, David de Frutos-Escrig, Dario Della Monica

Proceedings of the Proceedings XV Jornadas sobre Programación y Lenguajes, 2015

2014

Coinductive Definition of Distances between Processes: Beyond Bisimulation Distances.

David Romero-Hernández, David de Frutos-Escrig

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2014

2013

Unifying the Linear Time-Branching Time Spectrum of Process Semantics

David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Miguel Palomino, David Romero-Hernández

Log. Methods Comput. Sci., 2013

2012

Distances between Processes: A Pure Algebraic Approach.

David Romero-Hernández, David de Frutos-Escrig

Proceedings of the Recent Trends in Algebraic Development Techniques, 2012

Defining Distances for All Process Semantics.

David Romero-Hernández, David de Frutos-Escrig

Proceedings of the Formal Techniques for Distributed Systems, 2012

2011

On the Unification of Process Semantics: Logical Semantics

David Romero-Hernández, David de Frutos-Escrig

Proceedings of the Proceedings Eight Workshop on Structural Operational Semantics 2011, 2011