共 35 条
[2]
Adleman L. M., 1979, 20th Annual Symposium of Foundations of Computer Science, P397, DOI 10.1109/SFCS.1979.35
[3]
ADLEMAN LM, 1977, 9TH P ACN S THEOR CO, P151
[5]
COFFMAN EG, 1983, 2ND P ACM SIGACT SIG, P254
[6]
CUNY JE, 1984, IEEE T COMPUT, V33, P201, DOI 10.1109/TC.1984.1676417
[8]
DETREVILLE J, 1982, UNPUB FINDING DEADLO
[9]
Dijkstra E. W., 1968, Programming languages, P43
[10]
DURIS P, 1984, 15TH P ANN ACM STOC, P81