%V 176
%L eprints392
%A Rocco De Nicola
%D 1984
%R 10.1007/BFb0030326
%S Lecture Notes in Computer Science
%B Mathematical Foundations of Computer Science (MFCS 1984)
%E Michal Chytil
%E Vaclav Koubek
%I Springer
%P 433-442
%T Models and Operators for Nondeterministic Processes