Complutense University Library

IndexAuthor

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Number of items: 2.

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. [Thesis]

This list was generated on Thu Aug 28 03:29:27 2014 CEST.