Reactive, generative, and stratified models of probabilistic processes
By: by Rob J. van Glabbeek, Scott A. Smolka and Bernhard Steffen.
Contributors: Smolka, Scott A.; Steffen, Bernhard.
Series: Report ;; no. STAN-CS-TR-94-1517; Report (Stanford University. Computer Science Dept.) ;; no. STAN-CS-TR-94-1517.
Publisher: Dept. of Computer Science, Stanford University
Published: 1994
Place of publication: Stanford, Calif
Language: eng
Number of pages: 37
Subjects: Parallel processing (Electronic computers); Probabilities.
Notes: Includes bibliographical references (p. 35-37).
"July 1994."