Developing formal specifications to coordinate heterogeneous autonomous agents
暂无分享,去创建一个
[1] MatternFriedemann,et al. Detecting causal relationships in distributed computations , 1994 .
[2] Leslie Lamport,et al. Time, clocks, and the ordering of events in a distributed system , 1978, CACM.
[3] Munindar P. Singh. The Intentions of Teams: Team Structure, Endodeixis, and Exodeixis , 1998, ECAI.
[4] Edmund M. Clarke,et al. Using Branching Time Temporal Logic to Synthesize Synchronization Skeletons , 1982, Sci. Comput. Program..
[5] H. Van Dyke Parunak,et al. Visualizing Agent Conversations: Using Enhanced Dooley Graphs for Agent Design and Analysis , 1996 .
[6] Munindar P. Singh. Commitments Among Autonomous Agents in Information-Rich Environments , 1997, MAAMAW.
[7] Munindar P. Singh. A Customizable Coordination Service for Autonomous Agents , 1997, ATAL.
[8] ExodeixisMunindar P. Singh. The Intentions of Teams : Team Structure , 1998 .
[9] Hulstijn. UvA-DARE ( Digital Academic Repository ) A cognitive view on interlanguage variability , 2010 .