共 11 条
[4]
DIJKSTRA EW, 1984, EWD864A U TEX TECH R
[7]
LAMPORT L, UNPUB PARTIALLY ORDE
[8]
MAHOUD SA, 1977, INFOR, V15, P22
[10]
TERMINATION DETECTION OF DIFFUSING COMPUTATIONS IN COMMUNICATING SEQUENTIAL PROCESSES
[J].
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS,
1982, 4 (01)
:37-43