REFINEMENT CALCULUS .1. SEQUENTIAL NONDETERMINISTIC PROGRAMS

被引：0

作者：

BACK, RJR ^{[1
]}

VONWRIGHT, J ^{[1
]}

机构：

[1] SWEDISH SCH ECON & BUSINESS EDUC, SF-65100 VAASA, FINLAND

来源：

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：42 / 66

页数：25

共 37 条

[1] ACK RJR, 1989, IN PRESS ACTA INFORM
[2] Back R.J., 1980, MATH CTR TRACTS, V131
[3] BACK RJ, 1978, A19784 U HELS DEP CO
[4] ON CORRECT REFINEMENT OF PROGRAMS
BACK, RJR
[J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1981, 23 (01) : 49 - 68
[5] A CALCULUS OF REFINEMENTS FOR PROGRAM DERIVATIONS
BACK, RJR
[J]. ACTA INFORMATICA, 1988, 25 (06) : 593 - 624
[6] BACK RJR, 1988, ABO AKADEMI REPORTS, V57
[7] BACK RJR, 1988, ABO AKADEMI REPORTS, V68
[8] BACK RJR, 1987, REPORTS COMPUTER SCI, V55
[9] BACK RJR, 1989, LECTURE NOTES COMPUT, V375
[10] BACK RJR, 1989, UNPUB REPORTS COMPUT