Termination of nondeterministic programs.
Contributors: Mathematisch Centrum. Afdeling Informatica.
Publisher: Mathematisch Centrum
Published: 1975
Place of publication: Amsterdam
Language: eng
Notes: Preprint.