{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:09:42Z","timestamp":1725574182845},"publisher-location":"Berlin, Heidelberg","reference-count":34,"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_5","type":"book-chapter","created":{"date-parts":[[2011,1,6]],"date-time":"2011-01-06T22:23:50Z","timestamp":1294352630000},"page":"113-128","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["Process Algebra for Agent Communication: A General Semantic Approach"],"prefix":"10.1007","author":[{"given":"Rogier M.","family":"van Eijk","sequence":"first","affiliation":[]},{"given":"Frank S.","family":"de Boer","sequence":"additional","affiliation":[]},{"given":"Wiebe","family":"van der Hoek","sequence":"additional","affiliation":[]},{"given":"John-Jules Ch.","family":"Meyer","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,8,23]]},"reference":[{"key":"5_CR1","volume-title":"How to do Things with Words","author":"J.L. Austin","year":"1962","unstructured":"Austin, J.L.: How to do Things with Words. Oxford University Press, Oxford (1962)"},{"key":"5_CR2","volume-title":"Handbook of Process Algebra","author":"J.C.M. Baeten","year":"1999","unstructured":"Baeten, J.C.M., Middelburg, C.A.: Process algebra with timing: real time and discrete time. In: Bergstra, J.A., Ponse, A., Smolka, S.A. (eds.) Handbook of Process Algebra. Elsevier, Amsterdam (1999)"},{"key":"5_CR3","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/S0019-9958(84)80025-X","volume":"60","author":"J.A. Bergstra","year":"1984","unstructured":"Bergstra, J.A., Klop, J.W.: Process algebra for synchronous communication. Information and Control\u00a060, 109\u2013137 (1984)","journal-title":"Information and Control"},{"issue":"3","key":"5_CR4","doi-asserted-by":"publisher","first-page":"1753","DOI":"10.1016\/S0304-3975(02)00078-6","volume":"290","author":"F.S. Boer de","year":"2003","unstructured":"de Boer, F.S., van Eijk, R.M., van der Hoek, W., Meyer, J.-J.C.: Fully-abstract model for the exchange of information in multi-agent systems. Theoretical Computer Science\u00a0290(3), 1753\u20131773 (2003) (to appear)","journal-title":"Theoretical Computer Science"},{"key":"5_CR5","first-page":"463","volume-title":"Proceedings of the Joint International Conference and Symposium on Logic Programming (JICSLP 1992)","author":"F.S. Boer de","year":"1992","unstructured":"de Boer, F.S., Palamidessi, C.: A process algebra of concurrent constraint programming. In: Proceedings of the Joint International Conference and Symposium on Logic Programming (JICSLP 1992), pp. 463\u2013477. MIT Press, Cambridge (1992)"},{"key":"5_CR6","doi-asserted-by":"publisher","first-page":"499","DOI":"10.1145\/828.833","volume":"31","author":"S.D. Brookes","year":"1984","unstructured":"Brookes, S.D., Hoare, C.A.R., Roscoe, W.: A theory of communicating sequential processes. Journal of ACM\u00a031, 499\u2013560 (1984)","journal-title":"Journal of ACM"},{"issue":"3","key":"5_CR7","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1145\/362929.362947","volume":"11","author":"E.W. Dijkstra","year":"1968","unstructured":"Dijkstra, E.W.: Go to statement considered harmful. Communications of the ACM\u00a011(3), 147\u2013148 (1968)","journal-title":"Communications of the ACM"},{"key":"5_CR8","volume-title":"A Discipline of Programming","author":"E.W. Dijkstra","year":"1976","unstructured":"Dijkstra, E.W.: A Discipline of Programming. Prentice-Hall, Englewood Cliffs (1976)"},{"key":"5_CR9","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. Agents Theories, Architectures, and Languages","author":"R.M. Eijk van","year":"1999","unstructured":"van Eijk, R.M., de Boer, F.S., van der Hoek, W., Meyer, J.-J.C.: Information-passing and belief revision in multi-agent systems. In: Rao, A.S., Singh, M.P., M\u00fcller, J.P. (eds.) ATAL 1998. LNCS (LNAI), vol.\u00a01555, pp. 29\u201345. Springer, Heidelberg (1999)"},{"key":"5_CR10","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1007\/3-540-44631-1_18","volume-title":"Intelligent Agents VII. Agent Theories Architectures and Languages","author":"R.M. Eijk van","year":"2001","unstructured":"van Eijk, R.M., de Boer, F.S., van der Hoek, W., Meyer, J.-J.C.: Generalised object-oriented concepts for inter-agent communication. In: Castelfranchi, C., Lesp\u00e9rance, Y. (eds.) ATAL 2000. LNCS (LNAI), vol.\u00a01986, pp. 260\u2013274. Springer, Heidelberg (2001)"},{"issue":"5","key":"5_CR11","doi-asserted-by":"publisher","first-page":"587","DOI":"10.1002\/int.1025","volume":"16","author":"R.M. Eijk van","year":"2001","unstructured":"van Eijk, R.M., de Boer, F.S., van der Hoek, W., Meyer, J.-J.C.: On dynamically generated ontology translators in agent communication. International Journal of Intelligent Systems\u00a016(5), 587\u2013607 (2001)","journal-title":"International Journal of Intelligent Systems"},{"key":"5_CR12","unstructured":"van Eijk, R.M., de Boer, F.S., van der Hoek, W., Meyer, J.-J.C.: A verification framework for agent communication. Journal of Autonomous Agents and Multi-Agent Systems (2003) (to appear)"},{"key":"5_CR13","unstructured":"Finin, T., McKay, D., Fritzson, R., McEntire, R.: KQML: An Information and Knowledge Exchange Protocol. In: Fuchi, K., Yokoi, T. (eds.) Knowledge Building and Knowledge Sharing. Ohmsha and IOS Press (1994)"},{"key":"5_CR14","unstructured":"FIPA. Foundation for intelligent physical agents. Communicative act library specification (2000), \n\nhttp:\/\/www.fipa.org"},{"key":"5_CR15","unstructured":"G\u00e4rdenfors, P.: Knowledge in flux: Modelling the dynamics of epistemic states. Bradford books. MIT, Cambridge (1988)"},{"key":"5_CR16","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1007\/10722777_8","volume-title":"Issues in Agent Communication","author":"M. Greaves","year":"2000","unstructured":"Greaves, M., Holmback, H., Bradshaw, J.: What is a conversation policy? In: Dignum, F.P.M., Greaves, M. (eds.) Issues in Agent Communication. LNCS (LNAI), vol.\u00a01916, pp. 118\u2013131. Springer, Heidelberg (2000)"},{"key":"5_CR17","doi-asserted-by":"publisher","first-page":"395","DOI":"10.1109\/ICMAS.2000.858492","volume-title":"Proceedings of fourth International Conference on Multi-Agent Systems (ICMAS-2000)","author":"F. Guerin","year":"2000","unstructured":"Guerin, F., Pitt, J.: A semantic framework for specifying agent communication languages. In: Proceedings of fourth International Conference on Multi-Agent Systems (ICMAS-2000), pp. 395\u2013396. IEEE Computer Society, Los Alamitos (2000)"},{"key":"5_CR18","volume-title":"Cylindric Algebras (Part I)","author":"L. Henkin","year":"1971","unstructured":"Henkin, L., Monk, J.D., Tarski, A.: Cylindric Algebras (Part I). North-Holland Publishing, Amsterdam (1971)"},{"issue":"8","key":"5_CR19","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C.A.R. Hoare","year":"1978","unstructured":"Hoare, C.A.R.: Communicating sequential processes. Communications of the ACM\u00a021(8), 666\u2013677 (1978)","journal-title":"Communications of the ACM"},{"key":"5_CR20","unstructured":"Jifeng, H., Josephs, M.B., Hoare, C.A.R.: A theory of synchrony and asynchrony. In: Proc. of the IFIP Working Conference on Programming Concepts and Methods, pp. 446\u2013465 (1990)"},{"issue":"2","key":"5_CR21","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1109\/5254.757631","volume":"14","author":"Y. Labrou","year":"1999","unstructured":"Labrou, Y., Finin, T., Peng, Y.: Agent communication languages: The current landscape. IEEE Intelligent Systems\u00a014(2), 45\u201352 (1999)","journal-title":"IEEE Intelligent Systems"},{"key":"5_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of Communication Systems","author":"R. Milner","year":"1980","unstructured":"Milner, R.: A Calculus of Communication Systems. LNCS, vol.\u00a092. Springer, Heidelberg (1980)"},{"key":"5_CR23","volume-title":"Communicating and Mobile Systems: the \u03c0-Calculus","author":"R. Milner","year":"1999","unstructured":"Milner, R.: Communicating and Mobile Systems: the \u03c0-Calculus. Cambridge University Press, Cambridge (1999)"},{"issue":"4","key":"5_CR24","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1023\/A:1010016503852","volume":"2","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\u00a02(4), 333\u2013356 (1999)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"5_CR25","unstructured":"Plotkin, G.: A structured approach to operational semantics. Technical Report DAIMI FN-19, Computer Science Department, Aarhus University (1981)"},{"key":"5_CR26","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/978-1-4684-3384-5_3","volume-title":"Logic and Data Bases","author":"Raymond Reiter","year":"1978","unstructured":"Reiter, R.: On closed world data bases. In: Gaillaire, H., Minker, J. (eds.) Logic and Data Bases, New York, pp. 55\u201376. Plemum Press (1978)"},{"key":"5_CR27","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/2086.001.0001","volume-title":"Concurrent Constraint Programming","author":"V.A. Saraswat","year":"1993","unstructured":"Saraswat, V.A.: Concurrent Constraint Programming. The MIT Press, Cambridge (1993)"},{"key":"5_CR28","doi-asserted-by":"crossref","unstructured":"Saraswat, V.A., Rinard, M., Panangaden, P.: Semantic foundations of concurrent constraint programming. In: Proceedings of the 18th ACM Symposium on Principles of Programming Languages (POPL1991), pp. 333\u2013352 (1991)","DOI":"10.1145\/99583.99627"},{"key":"5_CR29","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139173438","volume-title":"Speech acts: An essay in the philosophy of language","author":"J.R. Searle","year":"1969","unstructured":"Searle, J.R.: Speech acts: An essay in the philosophy of language. Cambridge University Press, Cambridge (1969)"},{"issue":"12","key":"5_CR30","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1109\/2.735849","volume":"31","author":"M.P. Singh","year":"1998","unstructured":"Singh, M.P.: Agent communication languages: Rethinking the principles. IEEE Computer\u00a031(12), 40\u201347 (1998)","journal-title":"IEEE Computer"},{"issue":"2","key":"5_CR31","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1023\/A:1010002801935","volume":"1","author":"L. Steels","year":"1998","unstructured":"Steels, L.: The origins of ontologies and communication conventions in multi-agent systems. Journal of Autonomous Agents and Multi-Agent Systems\u00a01(2), 169\u2013194 (1998)","journal-title":"Journal of Autonomous Agents and Multi-Agent Systems"},{"key":"5_CR32","doi-asserted-by":"crossref","unstructured":"Thomsen, B.: A calculus of higher order communicating systems. In: Conference Record of the 16th Annual ACM Symposium on Principles of Programming Languages, pp. 143\u2013153 (1989)","DOI":"10.1145\/75277.75290"},{"key":"5_CR33","unstructured":"de Vries, W.: Agent Interaction: Approaches to Modelling, Abstraction, Programming and Verification of Multi-Agent Systems. PhD thesis, Utrecht University, Mathematics and Computer Science (2002) (to appear)"},{"key":"5_CR34","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1007\/3-540-45941-3_33","volume-title":"From Theory to Practice in Multi-Agent Systems","author":"W. Vries de","year":"2002","unstructured":"de Vries, W., de Boer, F.S., Hindriks, K.V., der Hoek, W., Meyer, J.-J.C.: Programming language for coordinating group actions. In: Dunin-Keplicz, B., Nawarecki, E. (eds.) CEEMAS 2001. LNCS (LNAI), vol.\u00a02296, pp. 313\u2013321. Springer, Heidelberg (2002)"}],"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_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,2,11]],"date-time":"2020-02-11T06:17:50Z","timestamp":1581401870000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-44972-0_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540403852","9783540449720"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-44972-0_5","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"}}]}}