Algebraic theory of probabilistic and nondeterministic processes. (2003)

by D Cazorla, F Cuartero, V Valero, Pelayo FL, Pardo JJ
Venue:J Logic Algebraic Programm