IMPLEMENTATIONS OF NONDETERMINISTIC PROGRAMS

[1] APT KR, 1981, LECTURE NOTES COMPUT, V115, P479

[2] BACK RJ, 1981, LNCS, V85, P51

[3] DEROEVER WP, 1976, LECTURE NOTES COMPUT, V45, P472

[4] Dijkstra E. W., 1976, DISCIPLINE PROGRAMMI

[5] DIJKSTRA EW, 1975, COMMUN ACM, V18, P453, DOI [10.1145/360933.360975, 10.1145/390016.808417]

[6] GUERREIRO P, 1983, UNL282 DEP INF REL

[7] GUERREIRO P, 1983, 16 C BRAS INF SAO PA

[8] GUERREIRO P, 1982, LNCS, V137

[9] GUERREIRO P, 1980, LNCS, V83

[10] GUERREIRO P, 1981, LNCS, V108

[1] APT KR, 1981, LECTURE NOTES COMPUT, V115, P479

[2] BACK RJ, 1981, LNCS, V85, P51

[3] DEROEVER WP, 1976, LECTURE NOTES COMPUT, V45, P472

[4] Dijkstra E. W., 1976, DISCIPLINE PROGRAMMI

[5] DIJKSTRA EW, 1975, COMMUN ACM, V18, P453, DOI [10.1145/360933.360975, 10.1145/390016.808417]

[6] GUERREIRO P, 1983, UNL282 DEP INF REL

[7] GUERREIRO P, 1983, 16 C BRAS INF SAO PA

[8] GUERREIRO P, 1982, LNCS, V137

[9] GUERREIRO P, 1980, LNCS, V83

[10] GUERREIRO P, 1981, LNCS, V108