Elsevier

Information Processing Letters

Volume 23, Issue 5, 24 November 1986, Pages 299-303
Information Processing Letters

The correctness of nondeterministic programs revisited

https://doi.org/10.1016/0020-0190(86)90090-6Get rights and content

First page preview

First page preview
Click to open first page preview

References (8)

There are more references available in the full text version of this article.

Cited by (0)

This research was supported by the Science and Engineering Research Council under Grant GR/C/31440.

∗∗

On leave from Institute of Informatics, University of Warsaw, PKiN VIIIp, 00-901 Warsaw, Poland.

View full text