共 16 条
[1]
ABRAHAMSON K, 1979, LECTURE NOTES COMPUT, V70, P21
[2]
BENARI M, 1981, 8TH ANN ACM S PRINC, P164
[3]
EMERSON AE, 1982, 14TH ACM S THEOR COM, P169
[5]
Gabbay D., 1980, POPL 80 PROC 7 ACM S, P163, DOI [10.1145/567446.567462, DOI 10.1145/567446.567462]
[6]
Harel D., 1980, 21st Annual Symposium on Foundations of Computer Science, P129, DOI 10.1109/SFCS.1980.35
[7]
HAREL D, 1979, LECTURE NOTES COMPUT, V68
[8]
KROGER A, 1977, IFIP WORKING C FORMA
[9]
LAMPORT L, 1980, 7TH ANN ACM S PRINC, P174
[10]
MANNA Z, 1979, LECTURE NOTES COMPUT, V79, P385