eprintid: 392
rev_number: 8
eprint_status: archive
userid: 32
dir: disk0/00/00/03/92
datestamp: 2011-05-24 14:35:02
lastmod: 2011-07-11 14:36:27
status_changed: 2011-05-24 14:35:02
type: book_section
metadata_visibility: show
item_issues_count: 0
creators_name: De Nicola, Rocco
creators_id: r.denicola@imtlucca.it
title: Models and Operators for Nondeterministic Processes
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
date: 1984
date_type: published
series: Lecture Notes in Computer Science
volume: 176
publisher: Springer
pagerange: 433-442
id_number: 10.1007/BFb0030326
refereed: TRUE
isbn: 3-540-13372-0
book_title: Mathematical Foundations of Computer Science (MFCS 1984)
editors_name: Chytil, Michal
editors_name: Koubek, Vaclav
official_url: http://dx.doi.org/10.1007/BFb0030326
citation:   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)