CORRECTNESS OF RECURSIVE PARALLEL NONDETERMINISTIC FLOW PROGRAMS

被引：4

|

作者：

GOGUEN, JA

MESEGUER, J

机构：

来源：

JOURNAL OF COMPUTER AND SYSTEM SCIENCES | 1983年 / 27卷 / 02期

关键词：

D O I：

10.1016/0022-0000(83)90043-0

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

收藏

页码：268 / 290

页数：23

相关论文

共 50 条

[1] CORRECTNESS OF NONDETERMINISTIC PROGRAMS
MANNA, Z
[J]. ARTIFICIAL INTELLIGENCE, 1970, 1 (1-2) : 1 - 26
[2] NONDETERMINISTIC FLOWCHART PROGRAMS WITH RECURSIVE PROCEDURES - SEMANTICS AND CORRECTNESS .2.
GALLIER, JH
[J]. THEORETICAL COMPUTER SCIENCE, 1981, 13 (03) : 239 - 270
[3] NONDETERMINISTIC FLOWCHART PROGRAMS WITH RECURSIVE PROCEDURES - SEMANTICS AND CORRECTNESS .1.
GALLIER, JH
[J]. THEORETICAL COMPUTER SCIENCE, 1981, 13 (02) : 193 - 223
[4] ON THE TOTAL CORRECTNESS OF NONDETERMINISTIC PROGRAMS
HAREL, D
[J]. THEORETICAL COMPUTER SCIENCE, 1981, 13 (02) : 175 - 192
[5] THE CORRECTNESS OF NONDETERMINISTIC PROGRAMS REVISITED
HOLENDERSKI, L
[J]. INFORMATION PROCESSING LETTERS, 1986, 23 (06) : 299 - 303
[6] PARAMETER PASSING IN NONDETERMINISTIC RECURSIVE PROGRAMS
BENSON, DB
[J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1979, 19 (01) : 50 - 62
[7] PROVING TOTAL CORRECTNESS OF NONDETERMINISTIC PROGRAMS IN INFINITARY LOGIC
BACK, RJR
[J]. ACTA INFORMATICA, 1981, 15 (03) : 233 - 249
[8] PARALLEL ALGORITHMS AND CORRECTNESS IN PARALLEL PROGRAMS
MIRENKOV, NN
[J]. PROGRAMMING AND COMPUTER SOFTWARE, 1985, 11 (06) : 321 - 332
[9] THE TOTAL CORRECTNESS OF PARALLEL PROGRAMS
FLON, L
SUZUKI, N
[J]. SIAM JOURNAL ON COMPUTING, 1981, 10 (02) : 227 - 246
[10] NDSeq: Runtime Checking for Nondeterministic Sequential Specifications of Parallel Correctness
Burnim, Jacob
Elmas, Tayfun
Necula, George
Sen, Koushik
[J]. ACM SIGPLAN NOTICES, 2011, 46 (06) : 401 - 414

← 1 2 3 4 5 →