{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,17]],"date-time":"2025-05-17T06:31:38Z","timestamp":1747463498808},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540678977"},{"type":"electronic","value":"9783540446187"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44618-4_17","type":"book-chapter","created":{"date-parts":[[2007,8,28]],"date-time":"2007-08-28T14:38:51Z","timestamp":1188311931000},"page":"214-228","source":"Crossref","is-referenced-by-count":6,"title":["Failure Semantics for the Exchange of Information in Multi-Agent Systems"],"prefix":"10.1007","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":"297","published-online":{"date-parts":[[2000,12,21]]},"reference":[{"key":"17_CR1","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/S0019-9958(84)80025-X","volume":"60","author":"J. A. Bergstra","year":"1984","unstructured":"J. A. Bergstra and J. W. Klop. Process algebra for synchronous communication. Information and Control, 60:109\u2013137, 1984.","journal-title":"Information and Control"},{"key":"17_CR2","doi-asserted-by":"crossref","unstructured":"F. van Breughel. Failures, finiteness and full abstraction. In S. Brookes and M. Mislove, editors, Proceedings of the Thirteenth Conference on the Mathematical Foundations of Programming Semantics, volume 6 of Electronic Notes in Theoretical Computer Science. Elsevier, 1997.","DOI":"10.1016\/S1571-0661(05)80147-1"},{"key":"17_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1007\/3-540-61735-3_11","volume-title":"Proceedings of the fifth Conference on Algebraic and Logic Programming","author":"L. Brim","year":"1996","unstructured":"L. Brim, D. Gilbert, J.-M. Jacquet, and M. K\u0159et\u00ednsk\u00fd. A process algebra for synchronous concurrent constraint programming. In M. Hanus and M. Rodriquez-Artalejo, editors, Proceedings of the fifth Conference on Algebraic and Logic Programming, volume 1139 of LNCS, pages 165\u2013178. Springer-Verlag, 1996."},{"key":"17_CR4","doi-asserted-by":"publisher","first-page":"499","DOI":"10.1145\/828.833","volume":"31","author":"S. D. Brookes","year":"1984","unstructured":"S. D. Brookes, C. A. R. Hoare, and W. Roscoe. A theory of communicating sequential processes. Journal of ACM, 31:499\u2013560, 1984.","journal-title":"Journal of ACM"},{"key":"17_CR5","series-title":"Special issue on Constraint Programming","first-page":"273","volume-title":"CWI Quarterly","author":"R. M. Eijk van","year":"1998","unstructured":"R. M. van Eijk, F. S. de Boer, W. van der Hoek, and J.-J.Ch. Meyer. A language for modular information-passing agents. In K. R. Apt, editor, CWI Quarterly, Special issue on Constraint Programming, volume 11, pages 273\u2013297. CWI, Amsterdam, 1998."},{"key":"17_CR6","unstructured":"R. M. van Eijk, F. S. de Boer, W. van der Hoek, and J.-J.Ch. Meyer. Systems of communicating agents. In Henri Prade, editor, Proceedings of the 13th biennial European Conference on Artificial Intelligence (ECAI-98), pages 293\u2013297, Brighton, UK, 1998. John Wiley & Sons, Ltd."},{"key":"17_CR7","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/3-540-49057-4_3","volume-title":"Intelligent Agents V \u2014 Proceedings of 5th International Workshop on Agent Theories, Architectures, and Languages (ATAL\u201998)","author":"R. M. Eijk van","year":"1999","unstructured":"R. M. van Eijk, F. S. de Boer, W. van der Hoek, and J.-J.Ch. Meyer. Information-passing and belief revision in multi-agent systems. In J. P. M. M\u00fcller, M. P. Singh, and A. S. Rao, editors, Intelligent Agents V \u2014 Proceedings of 5th International Workshop on Agent Theories, Architectures, and Languages (ATAL\u201998), volume 1555 of Lecture Notes in Artificial Intelligence, pages 29\u201345. Springer-Verlag, Heidelberg, 1999."},{"key":"17_CR8","unstructured":"T. Finin, D. McKay, R. Fritzson, and R. McEntire. KQML: An Information and Knowledge Exchange Protocol. In Kazuhiro Fuchi and Toshio Yokoi, editors, Knowledge Building and Knowledge Sharing. Ohmsha and IOS Press, 1994."},{"key":"17_CR9","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1016\/0004-3702(92)90049-4","volume":"54","author":"J. Y. Halpern","year":"1992","unstructured":"J. Y. Halpern and Y. Moses. A guide to the completeness and complexity for modal logics of knowledge and belief. Artificial Intelligence, 54:319\u2013379, 1992.","journal-title":"Artificial Intelligence"},{"key":"17_CR10","volume-title":"Cylindric Algebras (Part I)","author":"L. Henkin","year":"1971","unstructured":"L. Henkin, J. D. Monk, and A. Tarski. Cylindric Algebras (Part I). North-Holland Publishing, Amsterdam, 1971."},{"issue":"8","key":"17_CR11","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C. A. R. Hoare","year":"1978","unstructured":"C. A. R. Hoare. Communicating sequential processes. Communications of the ACM, 21(8):666\u2013677, 1978.","journal-title":"Communications of the ACM"},{"key":"17_CR12","volume-title":"PhD thesis","author":"J.-H. R\u00e9ty","year":"1997","unstructured":"Jean-Hugues R\u00e9ty. Langages concurrents avec contraintes, communication par messages et distribution. PhD thesis, University of Orleans, France, 1997."},{"key":"17_CR13","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2086.001.0001","volume-title":"Concurrent Constraint Programming","author":"V. A. Saraswat","year":"1993","unstructured":"V. A. Saraswat. Concurrent Constraint Programming. The MIT Press, Cambridge, Massachusetts, 1993."},{"key":"17_CR14","doi-asserted-by":"crossref","unstructured":"M. Wooldridge. Verifiable semantics for agent communication languages. In Proceedings 3rd International Conference on Multi-Agent Systems (ICMAS\u201998), pages 349\u2013356, Los Alamitos, California, 1998. IEEE Computer Society.","DOI":"10.1109\/ICMAS.1998.699219"},{"issue":"2","key":"17_CR15","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1017\/S0269888900008122","volume":"10","author":"M. Wooldridge","year":"1995","unstructured":"M. Wooldridge and N. Jennings. Intelligent agents: theory and practice. The Knowledge Engineering Review, 10(2):115\u2013152, 1995.","journal-title":"The Knowledge Engineering Review"}],"container-title":["Lecture Notes in Computer Science","CONCUR 2000 \u2014 Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44618-4_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,26]],"date-time":"2020-04-26T05:13:02Z","timestamp":1587877982000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44618-4_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540678977","9783540446187"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-44618-4_17","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}