E-Prints Complutense

Fábregas Alfaro, Ignacio and Frutos Escrig, David de and Palomino, Miguel (2009) Non-strongly stable orders also define interesting simulation relations. In Algebra and Coalgebra in Computer Science : Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings. Lecture notes in computer science (5728). Springer, pp. 221-235. ISBN 978-3-642-03740-5

Fábregas Alfaro, Ignacio (2012) Técnicas Coalgebraicas y Categóricas para el estudio de las semánticas de procesos. Tesis PhD.