共 14 条
[1]
BIRRELL A, 1993, P 14 ACM S OP SYST P, P217
[2]
DOLIGEZ D, 1993, POPL 93, P113
[3]
FOURNET C, 1996, LNCS, V1119
[4]
HUDSON RL, 1997, OOPSLA
[5]
LANG B, 1992, P 19 ANN ACM SIGPLAN
[6]
LEROY X, 1993, 147 INRIA
[7]
LEROY X, 1996, OBJECTIVE CAML SYSTE
[8]
MAHESHWARI U, 1997, PRINCIPLES DISTRIBUT
[9]
MILNER R, 1992, INFORM COMPUT, V100, P1, DOI [10.1016/0890-5401(92)90008-4, 10.1016/0890-5401(92)90009-5]
[10]
MILNER R, 1992, INFORMATION COMPUTAT, V100, P4