Complutense University Library

IndexAuthor

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

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. Tesis PhD.

This list was generated on Fri Apr 25 02:30:00 2014 CEST.