Logo eprints

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
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 Edit Item