共 13 条
[1]
CORRECTNESS PROOFS OF DISTRIBUTED TERMINATION ALGORITHMS
[J].
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS,
1986, 8 (03)
:388-405
[2]
APT KR, 1985, NATO ASI SERIES F, V14
[3]
APT KR, 1985, RC10975 IBM TJ WATS
[4]
BOUGE L, 1987, THESIS U PARIS 7
[5]
BOUGE L, 1987, LIENS872 REPT
[6]
Francez N., 1980, ACM Transactions on Programming Languages and Systems, V2, P42, DOI 10.1145/357084.357087
[7]
FRANCEZ N, 1981, LECTURE NOTES COMPUT, V107