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.
Official URL: http://dx.doi.org/10.1007/BFb0030326
Item Type: | Book Section |
---|---|
Identification Number: | https://doi.org/10.1007/BFb0030326 |
Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science |
Research Area: | Computer Science and Applications |
Depositing User: | Rocco De Nicola |
Date Deposited: | 24 May 2011 14:35 |
Last Modified: | 11 Jul 2011 14:36 |
URI: | http://eprints.imtlucca.it/id/eprint/392 |
Actions (login required)
Edit Item |