IndexAuthor

Cuartero Gómez, Fernando and Frutos Escrig, David de and Valero Ruiz, Valentín (1997) A sound and complete proof system for probabilistic processes. In Transformation-Based Reactive Systems Development : 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97 Palma, Mallorca, Spain, May 21–23, 1997 Proceedings. Lecture notes in computer science (1231). Springer, pp. 340-352. ISBN 978-3-540-63010-4

Cuartero Gómez, Fernando (2002) CSP Probabilístico (PCSP) : un modelo probabilístico de procesos concurrentes. [Thesis]

Cruz Calvo, Hernán Indíbil de la and Pelayo, Fernando L. and Pascual, Vicente and Paulet González, Jose Javier and Cuartero Gómez, Fernando and Llana Díaz, Luis Fernando and Mezzini, Mauro (2022) Quantum invariants for the graph isomorphism problem. (Unpublished)