{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,4,21]],"date-time":"2023-04-21T16:54:29Z","timestamp":1682096069845},"reference-count":24,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":3850,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theoretical Computer Science"],"published-print":{"date-parts":[[2003,1]]},"DOI":"10.1016\/s0304-3975(02)00078-6","type":"journal-article","created":{"date-parts":[[2003,2,4]],"date-time":"2003-02-04T20:51:53Z","timestamp":1044391913000},"page":"1753-1773","source":"Crossref","is-referenced-by-count":11,"title":["A fully abstract model for the exchange of information in multi-agent systems"],"prefix":"10.1016","volume":"290","author":[{"given":"Frank S.","family":"de Boer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rogier M.","family":"van Eijk","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wiebe","family":"van der Hoek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John-Jules Ch.","family":"Meyer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0304-3975(02)00078-6_BIB1","series-title":"How to do Things with Words","author":"Austin","year":"1962"},{"key":"10.1016\/S0304-3975(02)00078-6_BIB2","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/S0019-9958(84)80025-X","article-title":"Process algebra for synchronous communication","volume":"60","author":"Bergstra","year":"1984","journal-title":"Inform. and Control"},{"key":"10.1016\/S0304-3975(02)00078-6_BIB3","doi-asserted-by":"crossref","first-page":"1134","DOI":"10.1137\/0217073","article-title":"Readies and failures in the algebra of communicating processes","volume":"17","author":"Bergstra","year":"1988","journal-title":"SIAM J. Comput."},{"key":"10.1016\/S0304-3975(02)00078-6_BIB4","first-page":"165","article-title":"A process algebra for synchronous concurrent constraint programming","volume":"Vol. 1139","author":"Brim","year":"1996"},{"key":"10.1016\/S0304-3975(02)00078-6_BIB5","doi-asserted-by":"crossref","first-page":"499","DOI":"10.1145\/828.833","article-title":"A theory of communicating sequential processes","volume":"31","author":"Brookes","year":"1984","journal-title":"J. ACM"},{"key":"10.1016\/S0304-3975(02)00078-6_BIB6","first-page":"296","article-title":"A fully abstract model for concurrent constraint programming","volume":"Vol. 493","author":"de Boer","year":"1991"},{"key":"10.1016\/S0304-3975(02)00078-6_BIB7","first-page":"214","article-title":"Failure semantics for the exchange of information in multi-agent systems","volume":"Vol. 1877","author":"de Boer","year":"2000"},{"key":"10.1016\/S0304-3975(02)00078-6_BIB8","series-title":"Knowledge Building and Knowledge Sharing","article-title":"KQML: An information and knowledge exchange protocol","author":"Finin","year":"1994"},{"key":"10.1016\/S0304-3975(02)00078-6_BIB9","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1016\/0004-3702(92)90049-4","article-title":"A guide to the completeness and complexity for modal logics of knowledge and belief","volume":"54","author":"Halpern","year":"1992","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0304-3975(02)00078-6_BIB10","series-title":"Cylindric Algebras (Part I)","author":"Henkin","year":"1971"},{"issue":"8","key":"10.1016\/S0304-3975(02)00078-6_BIB11","doi-asserted-by":"crossref","first-page":"666","DOI":"10.1145\/359576.359585","article-title":"Communicating sequential processes","volume":"21","author":"Hoare","year":"1978","journal-title":"Commun. ACM"},{"issue":"4","key":"10.1016\/S0304-3975(02)00078-6_BIB12","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1023\/A:1010016503852","article-title":"Some remarks on the semantics of FIPA's agent communication language","volume":"2","author":"Pitt","year":"1999","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"10.1016\/S0304-3975(02)00078-6_BIB13","series-title":"Logic and Data Bases","first-page":"55","article-title":"On closed world data bases","author":"Reiter","year":"1978"},{"issue":"3","key":"10.1016\/S0304-3975(02)00078-6_BIB14","doi-asserted-by":"crossref","first-page":"323","DOI":"10.3233\/FI-1998-34305","article-title":"Distributed concurrent constraint programming","volume":"34","author":"R\u00e9ty","year":"1998","journal-title":"Fund. Inform."},{"key":"10.1016\/S0304-3975(02)00078-6_BIB15","doi-asserted-by":"crossref","unstructured":"V.A. Saraswat, M. Rinard. Concurrent constraint programming, in: Proc. 17th ACM Symp. Principles of Programming Languages (POPL\u201990), 1990, pp. 232\u2013245.","DOI":"10.1145\/96709.96733"},{"key":"10.1016\/S0304-3975(02)00078-6_BIB16","doi-asserted-by":"crossref","unstructured":"V.A. Saraswat, M. Rinard, P. Panangaden, Semantic foundations of concurrent constraint programming, in: Proc. 18th ACM Symp. Principles of Programming Languages (POPL\u201991), 1991, pp. 333\u2013352.","DOI":"10.1145\/99583.99627"},{"key":"10.1016\/S0304-3975(02)00078-6_BIB17","series-title":"Speech Acts: An Essay in the Philosophy of Language","author":"Searle","year":"1969"},{"key":"10.1016\/S0304-3975(02)00078-6_BIB18","series-title":"Proc. Thirteenth Conf. Mathematical Foundations of Programming Semantics","article-title":"Failures, finiteness and full abstraction","volume":"Vol. 6","author":"van Breughel","year":"1997"},{"key":"10.1016\/S0304-3975(02)00078-6_BIB19","series-title":"Proc. 13th Biennial European Conf. Artificial Intelligence (ECAI\u201998)","first-page":"293","article-title":"Systems of communicating agents","author":"van Eijk","year":"1998"},{"key":"10.1016\/S0304-3975(02)00078-6_BIB20","unstructured":"R.M. van Eijk, F.S. de Boer, W. van derHoek, J.-J.Ch. Meyer, Information-passing and belief revision in multi-agent systems, in: J.P.M. M \u00fcller, M.P. Singh, A.S. Rao (Eds.), Intelligent Agents V, Proc. 5th Internat. Workshop on Agent Theories, Architectures, and Languages (ATAL\u201998), Lecture Notes in Artificial Intelligence, Vol. 1555, Springer, Heidelberg, 1999."},{"key":"10.1016\/S0304-3975(02)00078-6_BIB21","first-page":"218","article-title":"Open multi-agent systems: Agent communication and integration","volume":"Vol. 1757","author":"van Eijk","year":"2000"},{"issue":"5","key":"10.1016\/S0304-3975(02)00078-6_BIB22","doi-asserted-by":"crossref","first-page":"587","DOI":"10.1002\/int.1025","article-title":"On dynamically generated ontology translators in agent communication","volume":"16","author":"van Eijk","year":"2001","journal-title":"Internat. J. Intell. Systems"},{"key":"10.1016\/S0304-3975(02)00078-6_BIB23","series-title":"Proc. 3rd Internat. Conf. Multi-Agent Systems (ICMAS\u201998)","first-page":"349","article-title":"Verifiable semantics for agent communication languages","author":"Wooldridge","year":"1998"},{"issue":"2","key":"10.1016\/S0304-3975(02)00078-6_BIB24","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1017\/S0269888900008122","article-title":"Intelligent agents","volume":"10","author":"Wooldridge","year":"1995","journal-title":"The Knowledge Eng. Rev."}],"container-title":["Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397502000786?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397502000786?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,1,15]],"date-time":"2020-01-15T08:32:43Z","timestamp":1579077163000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0304397502000786"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,1]]},"references-count":24,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2003,1]]}},"alternative-id":["S0304397502000786"],"URL":"https:\/\/doi.org\/10.1016\/s0304-3975(02)00078-6","relation":{},"ISSN":["0304-3975"],"issn-type":[{"value":"0304-3975","type":"print"}],"subject":[],"published":{"date-parts":[[2003,1]]}}}