共 14 条
- [1] Abelson Harold, 1985, Structure and Interpretation of Computer Programs
- [2] CONCURRENT OBJECT-ORIENTED PROGRAMMING [J]. COMMUNICATIONS OF THE ACM, 1990, 33 (09) : 125 - 141
- [3] Agha G., 1997, J FUNCTIONAL PROGRAM, V7, P1, DOI DOI 10.1017/S095679689700261X
- [4] CARDELLI L, 2000, ELECT NOTES THEORETI, V10
- [6] CHURCH A, 1985, CALCULI LAMBDA CONVE, V6
- [7] DENICOLA R, 1997, LECT NOTES COMPUTER, V1214, P712
- [8] FOURNET C, 1996, LECT NOTES COMPUTER, V1119, P406
- [9] GENERATIVE COMMUNICATION IN LINDA [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1985, 7 (01): : 80 - 112
- [10] HONDA K, 1991, LECT NOTES COMPUT SC, V512, P133