31，Kraus S. Negotiation and cooperation in multi-agent environments. Artificial Intelligence Journal, 1997, 94(1-2): 79～98
42，Doran J E, Franklin S, Jennings N R et al. On cooperation in multi-agent systems. The Knowledge Engineering Review, 1997, 12(3): 309～314
53，Emerson E A. Temporal and modal logic. In: Van Leeuwen J ed. Handbook of Theoretical Computer Science. New York: Elsevier Science Publishers, 1990. 996～1072
64，Milner R, Parrow J, Walker D. A calculus of mobile processes, Part I, II. Journal of Information and Computation, 1992, 100: 1～77
75，Bratman M E. Shared cooperative activity. Philosophy Reviews, 1992, 101: 327～341
86，Wooldridge M, Jennings N R. Towards a theory of cooperative problem solving. In: Proc of Modeling Autonomous Agent in a Multi-Agent World (MAAMAW-94). Odense, Denmark, 1994. 15～26
97，Lesser V R. A retrospective view of FA/C distributed problem solving. IEEE Trans on Systems, Man, and Cybernetics, Special Issue on Distributed Artificial Intelligence, 1991, 21(6): 1347～1362
108，Grosz B, Kraus S. Collaborative plans for complex group actions. Artificial Intelligence, 1996, 86(2): 269～357
