1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.LO2015
Proving Continuity of Coinductive Global Bisimulation Distances: A Never Ending Story
David Romero-Hernández, David de Frutos-Escrig, Dario Della Monica
We have developed a notion of global bisimulation distance between processes which goes somehow beyond the notions of bisimulation distance already existing in the literature, main…
cs.LO2011★ 1 cited
On the Unification of Process Semantics: Logical Semantics
David Romero-Hernández, David de Frutos-Escrig
We continue with the task of obtaining a unifying view of process semantics by considering in this case the logical characterization of the semantics. We start by considering the c…