The correctness of nondeterministic programs revisited☆
References (8)
On the total correctness of nondeterministic programs
Theoret. Comput. Sci.
(1981)The correctness of nondeterministic programs
Artificial Intelligence
(1970)- et al.
PARLOG: Parallel programming in logic
A Discipline of Programming
(1976)
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.
Copyright © 1986 Published by Elsevier B.V.