12 citations · 23 across the 5 of their papers we have counts for
5 papers
On the specification of modal systems: A comparison of three frameworks
Luca Aceto, Ignacio Fábregas, David de Frutos Escrig +2
This paper studies the relationships between three notions of behavioural preorder that have been proposed in the literature: refinement over modal transition systems, and the cova…
Games for Bisimulations and Abstraction
David De Frutos Escrig, Jeroen J. A. Keiren, Tim A. C. Willemse
Weak bisimulations are typically used in process algebras where silent steps are used to abstract from internal behaviours. They facilitate relating implementations to specificatio…
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…
Graphical representation of covariant-contravariant modal formulae
Luca Aceto, Ignacio Fábregas, David de Frutos-Escrig +2
Covariant-contravariant simulation is a combination of standard (covariant) simulation, its contravariant counterpart and bisimulation. We have previously studied its logical chara…
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…