TY  - CHAP
SN  - 3-540-13372-0
PB  - Springer
A1  - De Nicola, Rocco
SP  - 433
M1  - 176
T3  - Lecture Notes in Computer Science
Y1  - 1984///
AV  - none
TI  - Models and Operators for Nondeterministic Processes
UR  - http://dx.doi.org/10.1007/BFb0030326
ID  - eprints392
ED  - Chytil, Michal
ED  - Koubek, Vaclav
T2  - Mathematical Foundations of Computer Science (MFCS 1984)
EP  - 442
ER  -