共 13 条
[1]
ANDRE F, 1985, SYNCHRONIZATION PARA
[2]
Hoare C. A. R., 1985, COMMUNICATING SEQUEN
[3]
Milner R, 1980, LNCS
[5]
RAMADGE PJ, 1986, LECT NOTES CONTR INF, V83, P202, DOI 10.1007/BFb0007558
[6]
RAMADGE PJ, 1985, 48 PRINC U DEP EL EN
[7]
VONBOCHMANN G, 1983, CONCEPTS DISTRIBUTED
[8]
Wonham W. M., 1986, Computational and Combinatorial Methods in Systems Theory, P159
[9]
WONHAM WM, 1984, P INT C COMPUTERS SY, P500
[10]
WONHAM WM, 1984, 23RD P IEEE C DEC CO, P1073