# Models and Operators for Nondeterministic Processes

De Nicola, Rocco Models and Operators for Nondeterministic Processes. In: Mathematical Foundations of Computer Science (MFCS 1984). Lecture Notes in Computer Science, 176 . Springer, pp. 433-442. ISBN 3-540-13372-0 (1984)

Full text not available from this repository.
Item Type: Book Section 10.1007/BFb0030326 Q Science > QA Mathematics > QA75 Electronic computers. Computer science Computer Science and Applications Rocco De Nicola 24 May 2011 14:35 11 Jul 2011 14:36 http://eprints.imtlucca.it/id/eprint/392