A Denotational Model for Probabilistic and Nondeterministic Processes

Diego Cazorla, Fernando Cuartero, Valentín Valero Ruiz, Fernando L. Pelayo. A Denotational Model for Probabilistic and Nondeterministic Processes. In Ten-Hwang Lai, editor, Proceedings of the 2000 ICDCS Workshops, April 10, 2000, Taipei, Taiwan, ROC. 2000.

Authors

Diego Cazorla

This author has not been identified. Look up 'Diego Cazorla' in Google

Fernando Cuartero

This author has not been identified. Look up 'Fernando Cuartero' in Google

Valentín Valero Ruiz

This author has not been identified. Look up 'Valentín Valero Ruiz' in Google

Fernando L. Pelayo

This author has not been identified. Look up 'Fernando L. Pelayo' in Google