共 25 条
[1]
A Proof System for Communicating Sequential Processes
[J].
ACM Transactions on Programming Languages and Systems,
1980, 2 (03)
:359-385
[2]
CHEN ZC, 1981, 2ND P INT C DISTR CO
[3]
de Bakker Jaco., 1980, Mathematical Theory of Program Correctness
[5]
Dijkstra E. W., 1968, Programming languages, P43
[6]
DIJKSTRA EW, 1976, DISCIPLINE PROGRAMMI, P41
[8]
Francez N., 1980, ACM Transactions on Programming Languages and Systems, V2, P42, DOI 10.1145/357084.357087
[10]
Hansen P. B., 1978, Communications of the ACM, V21, P934, DOI 10.1145/359642.359651