%0 Book Section %A De Nicola, Rocco %B Mathematical Foundations of Computer Science (MFCS 1984) %D 1984 %E Chytil, Michal %E Koubek, Vaclav %F eprints:392 %I Springer %P 433-442 %S Lecture Notes in Computer Science %T Models and Operators for Nondeterministic Processes %U http://eprints.imtlucca.it/392/ %V 176