Requirement Analysis for Interaction Protocols
暂无分享,去创建一个
[1] Jean-Luc Koning,et al. Engineering Interaction Protocols for Multiagent Systems , 2005 .
[2] H. Van Dyke Parunak,et al. Representing Agent Interaction Protocols in UML , 2000, AOSE.
[3] Nicholas R. Jennings,et al. The Gaia Methodology for Agent-Oriented Analysis and Design , 2000, Autonomous Agents and Multi-Agent Systems.
[4] M. Calisti,et al. FOUNDATION FOR INTELLIGENT PHYSICAL AGENTS , 2000 .
[5] Gerard J. Holzmann,et al. The Model Checker SPIN , 1997, IEEE Trans. Software Eng..
[6] Nicolas Lhuillier,et al. FOUNDATION FOR INTELLIGENT PHYSICAL AGENTS , 2003 .
[7] Benjamin Cox,et al. NetBill Security and Transaction Protocol , 1995, USENIX Workshop on Electronic Commerce.
[8] A. Koller,et al. Speech Acts: An Essay in the Philosophy of Language , 1969 .
[9] Martin Peschke,et al. Design and Validation of Computer Protocols , 2003 .