{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:09:49Z","timestamp":1725574189645},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540403852"},{"type":"electronic","value":"9783540449720"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-44972-0_4","type":"book-chapter","created":{"date-parts":[[2011,1,6]],"date-time":"2011-01-06T22:23:50Z","timestamp":1294352630000},"page":"98-112","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":16,"title":["Verification and Compliance Testing"],"prefix":"10.1007","author":[{"given":"Frank","family":"Guerin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeremy","family":"Pitt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,8,23]]},"reference":[{"key":"4_CR1","volume-title":"The evolution of cooperation","author":"R. Axelrod","year":"1984","unstructured":"Axelrod, R.: The evolution of cooperation. Basic Books, New York (1984)"},{"key":"4_CR2","unstructured":"Eijk, R.M.v.: Programming Languages for Agent Communication. PhD thesis, Department of Information and Computing Sciences, Utrecht University (2000)"},{"key":"4_CR3","unstructured":"FIPA. [FIPA OC00003] FIPA 97 Part 2 Version 2.0: Agent Communication Language Specification. In Website of the Foundation for Intelligent Physical Agents (1997), \n\nhttp:\/\/www.fipa.org\/specs\/fipa2000.tar.gz"},{"key":"4_CR4","unstructured":"Guerin, F.: Specifying Agent Communication Languages. PhD thesis, Department of Electrical and Electronic Engineering, Imperial College, UK (2002)"},{"key":"4_CR5","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/3-540-36378-5_16","volume-title":"Agent-Mediated Electronic Commerce IV. Designing Mechanisms and Systems","author":"Frank Guerin","year":"2002","unstructured":"Guerin, F., Pitt, J.: Guaranteeing properties for e-commerce systems. In: Autonomous Agents 2002 Workshop on Agent Mediated Electronic Commerce IV: Designing Mechanisms and Systems, Bologna (2002)"},{"key":"4_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1007\/BFb0020933","volume-title":"Hybrid Systems III","author":"Y. Kesten","year":"1996","unstructured":"Kesten, Y., Manna, Z., Pnueli, A.: Verifying clocked transition systems. In: Alur, R., Sontag, E.D., Henzinger, T.A. (eds.) HS 1995. LNCS, vol.\u00a01066, pp. 13\u201340. Springer, Heidelberg (1996)"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Labrou, Y., Finin, T.: A semantics approach for kqml \u2013 a general purpose communication language for software agents. In: Third International Conference on Information and Knowledge Management (CIKM 1994), pp. 447\u2013455 (1994)","DOI":"10.1145\/191246.191320"},{"key":"4_CR8","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-4222-2","volume-title":"Temporal Verification of Reactive Systems (Safety)","author":"Z. Manna","year":"1995","unstructured":"Manna, Z., Pnueli, A.: Temporal Verification of Reactive Systems (Safety), vol.\u00a02. Springer, New York (1995)"},{"key":"4_CR9","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, pp. 486\u2013491. Morgan-Kaufmann Publishers, San Francisco (1999)"},{"key":"4_CR10","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1023\/A:1010016503852","volume":"4","author":"J. Pitt","year":"1999","unstructured":"Pitt, J., Mamdani, A.: Some remarks on the semantics of FIPA\u2019s agent communication language. Autonomous Agents and Multi-Agent Systems\u00a04, 333\u2013356 (1999)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"4_CR11","volume-title":"IJCAI Workshop on Agent Communication Languages","author":"M. Singh","year":"2000","unstructured":"Singh, M.: A social semantics for agent communication languages. In: IJCAI Workshop on Agent Communication Languages. Springer, Berlin (2000)"},{"key":"4_CR12","unstructured":"Wooldridge, M.: Verifiable semantics for agent communication languages. In: ICMAS 1998 (1998)"},{"key":"4_CR13","unstructured":"Wooldridge, M.: Verifying that agents implement a communication language. In: Sixteenth National Conference on Artificial Intelligence (AAAI 1999), Orlando, FL (July 1999)"},{"issue":"1","key":"4_CR14","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1023\/A:1010090027213","volume":"3","author":"M. Wooldridge","year":"2000","unstructured":"Wooldridge, M.: Semantic issues in the verification of agent communication languages. Journal of Autonomous Agents and Multi-Agent Systems\u00a03(1), 9\u201331 (2000)","journal-title":"Journal of Autonomous Agents and Multi-Agent Systems"}],"container-title":["Lecture Notes in Computer Science","Communication in Multiagent Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-44972-0_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,2,11]],"date-time":"2020-02-11T06:17:53Z","timestamp":1581401873000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-44972-0_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540403852","9783540449720"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-44972-0_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]},"assertion":[{"value":"23 August 2003","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}