共 13 条
[1]
Arnold A., 1980, LECTURE NOTES COMP S, V88, P113
[2]
Dijkstra E. W., 1976, DISCIPLINE PROGRAMMI
[3]
Hoare C. A. R., 1985, COMMUNICATING SEQUEN
[4]
FEEDBACK-SYSTEMS IN A GENERAL ALGEBRAIC SETTING
[J].
IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS,
1978, 25 (09)
:728-741
[6]
RAMADGE PJ, 1984, 6TH P INT C AN OPT S
[7]
RAMADGE PJ, 1986, UNPUB MODULAR SUPERV
[8]
RAMADGE PJ, 1983, THESIS U TORONTO
[9]
RAMADGE PJ, 1986, 7TH P INT C AN OPT S