David de Frutos-Escrig (Universidad Complutense de Madrid

Identifiers

• name variant David de Frutos-Escrig (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 #3
2. On the Unification of Process Semantics: Logical Semantics cs.LO · 2011 · author #3

Mentions

• 1108.3127 #3 · backfill · confidence 0.70 David de Frutos-Escrig (Universidad Complutense de Madrid

Frequent Coauthors

• David Romero-Hern\'andez (Universidad Complutense de Madrid 2 shared papers
• Spain) 2 shared papers
• Dario Della Monica (Reykjavik University 1 shared papers
• Iceland) 1 shared papers