共 13 条
[1]
ANDRE F, 1985, SYNCHRONIZATION PARA
[2]
CIESLAK R, 1986, UCBERL M8663 U CAL C
[3]
Harrison M., 1965, INTRO SWITCHING AUTO
[4]
Hoare C. A. R., 1985, COMMUNICATING SEQUEN
[5]
LIN F, 1986, IN PRESS INFORM SCI
[6]
MILNER P, 1980, LECTURE NOTES COMPUT, V92
[7]
RAMADGE PJ, 1986, LECT NOTES CONTR INF, V83, P202, DOI 10.1007/BFb0007558
[8]
RAMADGE PJ, IN PRESS SIAM J CONT
[9]
VONBOCHMANN G, 1983, CONCEPTS DISTRIBUTED
[10]
Wonham W. M., 1986, Computational and Combinatorial Methods in Systems Theory, P159