共 10 条
[1]
Hoare C. A. R., 1985, COMMUNICATING SEQUEN
[2]
LI Y, 1986, THESIS U TORONTO
[4]
LIN F, 1986, 8612 U TOR DEP EL EN
[6]
Wonham W. M., 1986, Computational and Combinatorial Methods in Systems Theory, P159
[7]
WONHAM WM, 1988, MATH CONTROL DES, V0001, P00013
[8]
WONHAM WM, 1987, SIAM J CONTROL OPTIM, V8, P637
[9]
WONHAM WM, 1983, 8314 U TOR DEP EL EN
[10]
Zeigler B., 1984, MULTIFACETTED MODELL