Reflection and Preservation of Properties in Coalgebraic (bi)Simulations.

Ignacio Fbregas, Miguel Palomino, David de Frutos-Escrig

Browse the full ICTAC paper archive.