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