relation: http://eprints.imtlucca.it/392/
title: Models and Operators for Nondeterministic Processes
creator: De Nicola, Rocco
subject: QA75 Electronic computers. Computer science
publisher: Springer
contributor: Chytil, Michal
contributor: Koubek, Vaclav
date: 1984
type: Book Section
type: PeerReviewed
identifier:   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)  
relation: http://dx.doi.org/10.1007/BFb0030326
relation: 10.1007/BFb0030326