共 58 条
[1]
A Proof System for Communicating Sequential Processes
[J].
ACM Transactions on Programming Languages and Systems,
1980, 2 (03)
:359-385
[2]
APT KR, 1981, LECTURE NOTES COMPUT, V115, P479
[3]
APT KR, 1981, FORMAL JUSTIFICATION
[4]
Apt Krzysztof R., 1982, LECT NOTES COMPUTER, V131, P1
[6]
ARNOLD A, 1980, FUND INFORM, V4, P445
[7]
BACK RJ, 1982, REFINEMENT KAHNS SEM
[8]
BACK RJ, 1980, LECTURE NOTES COMPUT, V85, P52
[9]
BEKIC H, 1971, TR25125 IBM LAB TECH
[10]
BERGSTRA JA, 1982, IW206 MATH CENTR DEP