Testing equivalences for probabilistic processes
By: Ivan Christoff
Contributors: Uppsala universitet
Series: DoCS -- 90/22; DoCS (Uppsala Universitet. Department of Computer Systems) -- 90/22
Publisher: Dept. of Computer Systems, Uppsala University
Published: 1990
Place of publication: Uppsala
Language: eng
Number of pages: 139
Subjects: Probabilistic automata; Probabilities
Notes: Abstract inserted.

doctoral Uppsala University 1990

Includes bibliographical references (p. 137-139)