David Romero-Hern\'andez (Universidad Complutense de Madrid

Identifiers

• name variant David Romero-Hern\'andez (Universidad Complutense de Madrid 0.60 · backfill

Papers (2)

1. Proving Continuity of Coinductive Global Bisimulation Distances: A Never Ending Story cs.LO · 2015 · author #1
2. On the Unification of Process Semantics: Logical Semantics cs.LO · 2011 · author #1

Mentions

• 1108.3127 #1 · backfill · confidence 0.70 David Romero-Hern\'andez (Universidad Complutense de Madrid

Frequent Coauthors

• David de Frutos-Escrig (Universidad Complutense de Madrid 2 shared papers
• Spain) 2 shared papers
• Dario Della Monica (Reykjavik University 1 shared papers
• Iceland) 1 shared papers