On the Unification of Process Semantics: Logical Semantics

by David Romero-Hernández, David de Frutos-Escrig
Published 2011-08-01

Equational Characterization of Covariant-Contravariant Simulation and Conformance Simulation Semantics

by Ignacio Fábregas, David de Frutos Escrig, Miguel Palomino
Published 2010-08-01

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

by David Romero-Hernández, David de Frutos-Escrig, Dario Della Monica
Published 2015-12-01

Graphical representation of covariant-contravariant modal formulae

by Miguel Palomino, Anna Ingólfsdóttir, David de Frutos-Escrig, Ignacio Fábregas, Luca Aceto
Published 2011-08-01