2008 | ||
---|---|---|
2 | EE | David de Frutos-Escrig, Miguel Palomino, Ignacio Fábregas: Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations. FORTE 2008: 283-298 |
2007 | ||
1 | EE | Ignacio Fábregas, Miguel Palomino, David de Frutos-Escrig: Reflection and Preservation of Properties in Coalgebraic (bi)Simulations. ICTAC 2007: 231-245 |
1 | David de Frutos-Escrig | [1] [2] |
2 | Miguel Palomino | [1] [2] |