共 11 条
[1]
Gordon M., 1979, DENOTATIONAL DESCRIP
[2]
HENNESSY M, 1979, LECTURE NOTES COMPUT, V74, P108
[3]
HENNESSY MCB, 1980, LECTURE NOTES COMPUT, V85, P299, DOI DOI 10.1007/3-540-10003-2
[5]
MILNER R, 1978, LECT NOTES COMPUTER, V64, P71
[6]
MILNER R, 1980, LECTURE NOTES COMPUT, V92
[7]
Plotkin G. D., 1976, SIAM Journal on Computing, V5, P452, DOI 10.1137/0205035
[8]
Pnueli A., 1977, 18th Annual Symposium on Foundations of Computer Science, P46, DOI 10.1109/SFCS.1977.32
[9]
Pratt V.R., 1976, FOCS, P109, DOI [10.1109/SFCS.1976.27, DOI 10.1109/SFCS.1976.27]
[10]
SMYTH M, 1978, J COMPUT SYST SCI, V15, P23