共 24 条
[1]
Aho A. V., 1974, DESIGN ANAL COMPUTER
[3]
BERGSTRA JA, 1987, CSR8725 CWI COMP SCI
[4]
BERGSTRA JA, 1986, CWI MONOGRAPHS, V1, P89
[6]
BROOKES SD, 1983, LECT NOTES COMPUT SC, V154, P83
[7]
BROOKES SD, 1983, LECT NOTES COMPUT SC, V154, P97
[8]
CHANDRA AK, 1982, COMMUNICATION
[10]
ALGEBRAIC LAWS FOR NONDETERMINISM AND CONCURRENCY
[J].
JOURNAL OF THE ACM,
1985, 32 (01)
:137-161