Universidad Complutense de Madrid
E-Prints Complutense

Consultar por Autor

Subir un nivel
Exportar como [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Número de eprints: 6.

Aceto , Luca y Frutos Escrig, David de y Gregorio Rodríguez, Carlos y Ingolfsdottir, Anna (2011) Axiomatizing Weak Ready Simulation Semantics over BCCSP. In Theoretical Aspects of Computing – ICTAC 2011 : 8th International Colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings. Lecture notes in computer science (6916). Springer, pp. 7-24. ISBN 978-3-642-23282-4

Aceto, Luca y Frutos Escrig, David de y Gregorio Rodríguez, Carlos (2014) Axiomatizing weak simulation semantics over BCCSP. Theoretical computer science, 537 . pp. 42-71. ISSN 0304-3975

Aceto , Luca y Frutos Escrig, David de (2011) Complete and ready simulation semantics are not finitely based over BCCSP, even with a singleton alphabet. Information processing letters, 111 (9). pp. 408-413. ISSN 0020-0190

Aceto , Luca y Fábregas, Ignacio y Frutos Escrig, David de y Ingolfsdottir, Anna y Palomino, Miguel (2011) Graphical representation of covariant-contravariant modal formulae. Electronic proceedings in theoretical computer science, 64 . pp. 1-15. ISSN 2075-2180

Aceto , Luca y Fábregas, Ignacio y Frutos Escrig, David de y Ingolfsdottir, Anna y Palomino, Miguel (2012) Relating modal refinements, covariant-contravariant simulations and partial bisimulations. In Fundamentals of Software Engineering : 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers. Lecture notes in computer science (7141). Springer, pp. 268-283. ISBN 978-3-642-29319-1

Aceto , Luca y Frutos Escrig, David de y Gregorio Rodríguez, Carlos y Ingolfsdottir, Anna (2012) The equational theory of weak complete simulation semantics over BCCSP. In SOFSEM 2012: Theory and Practice of Computer Science : 38th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 21-27, 2012. Proceedings. Lecture notes in computer science (7147). Springer, pp. 141-152. ISBN 978-3-642-27659-0

Esta lista fue generada el Thu Aug 24 12:31:40 2017 CEST.