共 19 条
[1]
ARNOLD A, 1980, MATH SYST THEORY, V13, P219
[3]
ARNOLD A, 1980, FUND INFORM, V4, P445
[4]
BAETEN JCM, 1985, CWI CSR8521 REP
[5]
BAETEN JCM, 1986, PROCESS ALGEBRA
[6]
BAETEN JCM, 1985, CWI CSR8517 REP
[7]
PROCESS ALGEBRA FOR SYNCHRONOUS COMMUNICATION
[J].
INFORMATION AND CONTROL,
1984, 60 (1-3)
:109-137
[8]
BERGSTRA JW, 1985, CWI CSR8523 REP
[9]
INFINITE TREES IN NORMAL FORM AND RECURSIVE EQUATIONS HAVING A UNIQUE SOLUTION
[J].
MATHEMATICAL SYSTEMS THEORY,
1979, 13 (02)
:131-180
[10]
DEBAKKER JW, 14TH P ACM S THEOR C, P153