{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,4]],"date-time":"2026-10-04T11:56:58Z","timestamp":1791115018002,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540222316","type":"print"},{"value":"9783540259466","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-25946-6_9","type":"book-chapter","created":{"date-parts":[[2010,10,23]],"date-time":"2010-10-23T14:55:37Z","timestamp":1287845737000},"page":"136-154","source":"Crossref","is-referenced-by-count":2,"title":["Interaction Monitoring and Termination Detection for Agent Societies: Preliminary Results"],"prefix":"10.1007","author":[{"given":"Tshiamo","family":"Motshegwa","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Michael","family":"Schroeder","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"9_CR1","first-page":"486","volume-title":"Proceedings 16th International Joint Conference on Artificial Intelligence IJCAI 1999","author":"J. Pitt","year":"1999","unstructured":"Pitt, J., Mamdani, A.: A protocol-based semantics for an agent communication language. In: Proceedings 16th International Joint Conference on Artificial Intelligence IJCAI 1999, Stockholm, Sweden, pp. 486\u2013491. Morgan-Kaufmann Publishers, San Francisco (1999)"},{"key":"9_CR2","volume-title":"Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence","year":"1999","unstructured":"Weiss, G. (ed.): Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence. MIT Press, Cambridge (1999)"},{"key":"9_CR3","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1145\/176789.176794","volume":"37","author":"M. Genesereth","year":"1994","unstructured":"Genesereth, M., Ketchpel, S.: Software agents. Communications of the ACM\u00a037, 48\u201353 (1994)","journal-title":"Communications of the ACM"},{"key":"9_CR4","first-page":"584","volume-title":"Proceedings of the Fifteenth International Joint Conference on Artifical Intelligence (IJCAI 1997)","author":"Y. Labrou","year":"1997","unstructured":"Labrou, Y., Finin, T.: Semantics and conversations for an agent communication language. In: Pollack, M.E. (ed.) Proceedings of the Fifteenth International Joint Conference on Artifical Intelligence (IJCAI 1997), San Mateo, CA, USA, pp. 584\u2013591. Morgan Kaufmann Publishers, San Francisco (1997)"},{"key":"9_CR5","unstructured":"FIPA: Specification part 2 agent communication language (1997)"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Wooldridge, M.: Semantic issues in verification of agent communication languages. Autonomous Agents and Multi-Agent Systems\u00a03 (2000)","DOI":"10.1023\/A:1010090027213"},{"key":"9_CR7","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1023\/A:1010056221226","volume":"2","author":"M. Venkatraman","year":"1999","unstructured":"Venkatraman, M., Singh, M.: Verifying compliance with commitment protocols. Autonomous Agents and Multi-Agent Systems\u00a02, 217\u2013236 (1999)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"Chaib-draa, B., Dignum, F.: Trends in agent communication language. Computational Intelligence\u00a02(5) (2002)","DOI":"10.1111\/1467-8640.00184"},{"key":"9_CR9","volume-title":"The Double Auction Market, Institutions, Theories, and Evidence","author":"D. Friedman","year":"1993","unstructured":"Friedman, D., Rust, J.: The Double Auction Market, Institutions, Theories, and Evidence. Addison Wesley Longman, Amsterdam (1993)"},{"key":"9_CR10","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1016\/0020-0190(89)90212-3","volume":"30","author":"F. Mattern","year":"1989","unstructured":"Mattern, F.: Global quiescence detection based on credit distribution and recovery. Information Processing Letters\u00a030, 195\u2013200 (1989)","journal-title":"Information Processing Letters"},{"key":"9_CR11","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/BF01782776","volume":"2","author":"F. Mattern","year":"1987","unstructured":"Mattern, F.: Algorithms for distributed termination detection. Distributed Computing\u00a02, 161\u2013175 (1987)","journal-title":"Distributed Computing"},{"key":"9_CR12","first-page":"55","volume-title":"Distributed Systems","author":"O. Babaoglu","year":"1993","unstructured":"Babaoglu, O., Marzullo, K.: Consistent global states of distributed systems: Fundamental concepts and mechanisms. In: Mullender, S. (ed.) Distributed Systems, pp. 55\u201396. Addison-Wesley, Reading (1993)"},{"key":"9_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0020-0190(80)90021-6","volume":"11","author":"E. Dijkstra","year":"1980","unstructured":"Dijkstra, E., Scholten, C.: Termination detection for diffusing computations. Information Processing Letters\u00a011, 1\u20134 (1980)","journal-title":"Information Processing Letters"},{"key":"9_CR14","unstructured":"Tel, G.: Distributed control for AI. Technical Report UU-CS-1998-17, ICS, Information Computing Sciences, University of Utrecht,Netherlands (1998)"},{"key":"9_CR15","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0020-0190(83)90092-3","volume":"16","author":"E.W. Dijkstra","year":"1983","unstructured":"Dijkstra, E.W., Feijen, W.H.J., van Gasteren, A.J.M.: Derivation of a termination detection algorithm for distributed computations. Information Processing Letters\u00a016, 217\u2013219 (1983)","journal-title":"Information Processing Letters"},{"key":"9_CR16","unstructured":"Singh, M.: On the semantics of protocols among distributed intelligent agents. Technical Report TM-91-09, Deutsches Forschungszentrum f\u00fcr K\u00fcnstliche Intelligenz GmbH (1991)"},{"key":"9_CR17","unstructured":"Noriega, P.: Agent mediated auctions: The Fishmarket Metaphor. PhD thesis, Universitat Autonoma de Barcelona (1997)"},{"key":"9_CR18","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139168724","volume-title":"Introduction To Distributed Algorithms","author":"G. Tel","year":"2000","unstructured":"Tel, G.: 13. In: Introduction To Distributed Algorithms, Cambridge University Press, Cambridge (2000)"},{"key":"9_CR19","unstructured":"Bellifemine, F., Poggi, A., Rimassa, G.: Jade: A FIPA-compliant agent framework. In: PAAM 1999, pp. 97\u2013108 (1999)"},{"key":"9_CR20","unstructured":"Vitaglione, G., Quarta, F., Cortese, E.: Scalability and performance of JADE message transport system. In: AAMAS Workshop on AgentCities, Bologna (2002)"},{"key":"9_CR21","doi-asserted-by":"crossref","unstructured":"Wellman, M., Walsh, W.: Distributed quiescence detection in multiagent negotiation. In: Proceedings of the 3rd International Conference on Multiagent Systems (2000)","DOI":"10.1109\/ICMAS.2000.858469"},{"key":"9_CR22","doi-asserted-by":"crossref","unstructured":"Mockapetris, P.: RFC 1034: Domain names - concepts and facilities. Technical report, ISI, NetWorking Group (1987)","DOI":"10.17487\/rfc1034"},{"key":"9_CR23","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1145\/163298.163303","volume":"36","author":"K. Birman","year":"1993","unstructured":"Birman, K.: The process group approach to reliable distributed computing. Communications of the ACM\u00a036, 37\u201353 (1993)","journal-title":"Communications of the ACM"},{"key":"9_CR24","volume-title":"Handbook of Experimental Economics","year":"1995","unstructured":"Hagel, J., Roth, A. (eds.): Handbook of Experimental Economics. Princenton University Press, Princenton (1995)"},{"key":"9_CR25","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/151646.151647","volume":"15","author":"G. Tel","year":"1993","unstructured":"Tel, G., Mattern, F.: The derivation of distributed termination detection algorithms from garbage collection schemes. ACM Transactions on Programming Languages and Systems\u00a015, 1\u201335 (1993)","journal-title":"ACM Transactions on Programming Languages and Systems"}],"container-title":["Lecture Notes in Computer Science","Engineering Societies in the Agents World IV"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-25946-6_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:59:22Z","timestamp":1605761962000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-25946-6_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540222316","9783540259466"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-25946-6_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004]]}}}