{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:08:10Z","timestamp":1725484090500},"publisher-location":"Berlin, Heidelberg","reference-count":47,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540439622"},{"type":"electronic","value":"9783540456346"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45634-1_10","type":"book-chapter","created":{"date-parts":[[2007,5,21]],"date-time":"2007-05-21T10:31:42Z","timestamp":1179743502000},"page":"152-168","source":"Crossref","is-referenced-by-count":2,"title":["Semantics of Agent Communication: An Introduction"],"prefix":"10.1007","author":[{"given":"Rogier M.","family":"van Eijk","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,7,12]]},"reference":[{"issue":"9","key":"10_CR1","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1145\/83880.84528","volume":"33","author":"G. Agha","year":"1990","unstructured":"G. Agha. Concurrent object-oriented programming. Communications of the ACM, 33(9):125\u2013141, 1990.","journal-title":"Communications of the ACM"},{"key":"10_CR2","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2087.001.0001","volume-title":"Research Directions in Concurrent Object-Oriented Programming","author":"G. Agha","year":"1993","unstructured":"G. Agha, P. Wegner, and Yonezawa. Research Directions in Concurrent Object-Oriented Programming. The MIT Press, Cambridge, Massachusetts, 1993."},{"key":"10_CR3","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1007\/BF01887214","volume":"1","author":"P.H.M. America","year":"1989","unstructured":"P.H.M. America. Issues in the design of a parallel object-oriented language. Formal Aspects of Computing, 1:366\u2013411, 1989.","journal-title":"Formal Aspects of Computing"},{"key":"10_CR4","volume-title":"Concurrent Programming, Principles and Practice","author":"G.R. Andrews","year":"1991","unstructured":"G.R. Andrews. Concurrent Programming, Principles and Practice. The Benjamin Cummings Publishing Company, Inc., Redwood City, California, 1991."},{"key":"10_CR5","volume-title":"How to do Things with Words","author":"J.L. Austin","year":"1962","unstructured":"J.L. Austin. How to do Things with Words. Oxford University Press, Oxford, 1962."},{"key":"10_CR6","doi-asserted-by":"publisher","first-page":"1134","DOI":"10.1137\/0217073","volume":"17","author":"J.A. Bergstra","year":"1988","unstructured":"J.A. Bergstra, J.W. Klop, and E.-R. Olderog. Readies and failures in the algebra of communicating processes. SIAM Journal on Computing, 17:1134\u20131177, 1988.","journal-title":"SIAM Journal on Computing"},{"key":"10_CR7","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1145\/2080.357392","volume":"2","author":"A. D. Birrell","year":"1984","unstructured":"A. D. Birrell and B. J. Nelson. Implementing remote procedure calls. ACM Transactions on Computer Systems, 2:39\u201359, 1984.","journal-title":"ACM Transactions on Computer Systems"},{"key":"10_CR8","volume-title":"Readings in Distributed Artificial Intelligence","author":"A.H. Bond","year":"1988","unstructured":"A.H Bond and L. Gasser. Readings in Distributed Artificial Intelligence. Morgan Kaufmann Publishers, San Mateo, CA, 1988."},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"F. Brazier, B. Dunin-Keplicz, N. Jennings, and J. Treur. Formal specification of multi-agent systems: a real-world case. In Proceedings of International Conference on Multi-Agent Systems (ICMAS\u201995), pages 25\u201332. MIT Press, 1995.","DOI":"10.1007\/3-540-58855-8_6"},{"issue":"1","key":"10_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/5001.5390","volume":"8","author":"K. Clark","year":"1986","unstructured":"K. Clark and S. Gregory. Parlog: parallel programming in logic. ACM Transactions on Programming Languages and Systems, 8(1): 1\u201349, 1986.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"9","key":"10_CR11","doi-asserted-by":"publisher","first-page":"569","DOI":"10.1145\/365559.365617","volume":"8","author":"E.W. Dijkstra","year":"1965","unstructured":"E.W. Dijkstra. Solution of a problem in concurrent programming control. Communications of the ACM, 8(9):569, 1965.","journal-title":"Communications of the ACM"},{"key":"10_CR12","first-page":"43","volume-title":"Programming Languages","author":"E.W. Dijkstra","year":"1968","unstructured":"E.W. Dijkstra. Cooperating sequential processes. In F. Genuys, editor, Programming Languages, pages 43\u2013112. Academic Press, New York, 1968."},{"key":"10_CR13","unstructured":"R.M. van Eijk. Programming Languages for Agent Communication. PhD thesis, Utrecht University, Mathematics and Computer Science, 2000."},{"key":"10_CR14","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, 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, 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."},{"issue":"5","key":"10_CR15","doi-asserted-by":"publisher","first-page":"587","DOI":"10.1002\/int.1025","volume":"16","author":"R.M. Eijk van","year":"2001","unstructured":"R.M. van Eijk, F.S. de Boer, W. van der Hoek, and J.-J.Ch. Meyer. On dynamically generated ontology translators in agent communication. International Journal of Intelligent Systems, 16(5):587\u2013607, 2001.","journal-title":"International Journal of Intelligent Systems"},{"key":"10_CR16","unstructured":"R.M. van Eijk, F.S. de Boer, W. van der Hoek, and J.-J.Ch. Meyer. Fully-abstract model for the exchange of information in multi-agent systems. Theoretical Computer Science. To appear, 2002."},{"key":"10_CR17","unstructured":"R.M. van Eijk, F.S. de Boer, W. van der Hoek, and J.-J.Ch. Meyer. A verification framework for agent communication. Autonomous Agents and Multi-Agent Systems. To appear, 2002."},{"key":"10_CR18","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":"10_CR19","unstructured":"Foundation For Intelligent Physical Agents FIPA. Specification part 2-agent communication language. Version dated 10th October 1997, 1997."},{"key":"10_CR20","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"480","DOI":"10.1007\/BFb0014005","volume-title":"Proceedings of First International Conference on Temporal Logic (ICTL\u201994)","author":"M. Fisher","year":"1994","unstructured":"M. Fisher. A survey of concurrent MetateM-the language and its applications. In Proceedings of First International Conference on Temporal Logic (ICTL\u201994), volume 827 of Lecture Notes in Computer Science, pages 480\u2013505. Springer-Verlag, 1994."},{"key":"10_CR21","volume-title":"Logic with Prolog","author":"P. Gibbens","year":"1988","unstructured":"P. Gibbens. Logic with Prolog. Oxford Applied Mathematics and Computing Science Series. Oxford University Press, New York, 1988."},{"key":"10_CR22","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1007\/10722777_8","volume-title":"Issues in Agent Communication","author":"M. Greaves","year":"2000","unstructured":"M. Greaves, H. Holmback, and J. Bradshaw. What is a conversation policy? In F. Dignum and M. Greaves, editors, Issues in Agent Communication, volume 1916 of Lecture Notes in Artificial Intelligence, pages 118\u2013131. Springer-Verlag, Heidelberg, 2000."},{"key":"10_CR23","doi-asserted-by":"crossref","unstructured":"F. Guerin and J. Pitt. A semantic framework for specifying agent communication languages. In Proceedings of fourth International Conference on Multi-Agent Systems (ICMAS-2000), pages 395\u2013396, Los Alamitos, California, 2000. IEEE Computer Society.","DOI":"10.1109\/ICMAS.2000.858492"},{"key":"10_CR24","volume-title":"Semantics of Programming Languages: Structures and Techniques","author":"C.A. Gunter","year":"1992","unstructured":"C.A. Gunter. Semantics of Programming Languages: Structures and Techniques. Foundations of Computing Series. The MIT Press, Cambridge, Massachusetts, 1992."},{"issue":"3","key":"10_CR25","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1016\/0004-3702(77)90033-9","volume":"8","author":"C. Hewitt","year":"1977","unstructured":"C. Hewitt. Viewing control as patterns of passing messages. Artificial Intelligence, 8(3):323\u2013364, 1977.","journal-title":"Artificial Intelligence"},{"key":"10_CR26","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1023\/A:1010084620690","volume":"2","author":"K.V. Hindriks","year":"1999","unstructured":"K.V. Hindriks, F.S. de Boer, W. van der Hoek, and J.-J.Ch Meyer. Agent programming in 3APL. Autonomous Agents and Multi-Agent Systems, 2:357\u2013401, 1999.","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"issue":"10","key":"10_CR27","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1145\/355620.361161","volume":"17","author":"C.A.R. Hoare","year":"1974","unstructured":"C.A.R. Hoare. Monitors: an operating system structuring concept. Communications of the ACM, 17(10):549\u2013557, 1974.","journal-title":"Communications of the ACM"},{"issue":"8","key":"10_CR28","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":"10_CR29","volume-title":"Programming in Occam","author":"G. Jones","year":"1987","unstructured":"G. Jones. Programming in Occam. Prentice-Hall International, New York, NY, 1987."},{"key":"10_CR30","doi-asserted-by":"crossref","unstructured":"Y. Labrou and T. Finin. Semantics for an agent communication language. In M.P. Singh, A. Rao, and M.J. Wooldridge, editors, Proceedings of Fourth International Workshop on Agent Theories, Architectures and Languages (ATAL\u201997), volume 1365 of Lecture Notes in Artificial Intelligence, pages 209\u2013214. Springer-Verlag, 1998.","DOI":"10.1007\/BFb0026760"},{"issue":"2","key":"10_CR31","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1109\/5254.757631","volume":"14","author":"Y. Labrou","year":"1999","unstructured":"Y. Labrou, T. Finin, and Y. Peng. Agent communication languages: The current landscape. IEEE Intelligent Systems, 14(2):45\u201352, 1999.","journal-title":"IEEE Intelligent Systems"},{"key":"10_CR32","series-title":"Lect Notes Comput Sci","volume-title":"Agent Mediated Electronic Commerce","year":"1999","unstructured":"P. Noriega and C. Sierra, editors. Agent Mediated Electronic Commerce, volume 1571 of Lecture Notes in Computer Science. Springer Verlag, 1999."},{"issue":"4","key":"10_CR33","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1023\/A:1010016503852","volume":"2","author":"J. Pitt","year":"1999","unstructured":"J. Pitt and A. Mamdani. Some remarks on the semantics of FIPA\u2019s agent communication language. Autonomous Agents and Multi-Agent Systems, 2(4):333\u2013356, 1999.","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"10_CR34","unstructured":"G. Plotkin. A structured approach to operational semantics. Technical Report DAIMI FN-19, Computer Science Department, Aarhus University, 1981."},{"key":"10_CR35","doi-asserted-by":"crossref","unstructured":"A.S. Rao. Agentspeak(L): BDI agents speak out in a logical computable language. In W. van der Velde and J.W. Perram, editors, Agents Breaking Away, volume 1038 of Lecture Notes in Artificial Intelligence, pages 42\u201355. Springer-Verlag, 1996.","DOI":"10.1007\/BFb0031845"},{"key":"10_CR36","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":"10_CR37","volume-title":"Denotational Semantics: A Methodology for Language Development","author":"D.A. Schmidt","year":"1986","unstructured":"D.A. Schmidt. Denotational Semantics: A Methodology for Language Development. Allyn and Bacon, Inc. Newton, Massachusetts, 1986."},{"key":"10_CR38","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139173438","volume-title":"Speech acts: An essay in the philosophy of language","author":"J.R. Searle","year":"1969","unstructured":"J.R. Searle. Speech acts: An essay in the philosophy of language. Cambridge University Press, Cambridge, England, 1969."},{"key":"10_CR39","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/0004-3702(93)90034-9","volume":"60","author":"Y. Shoham","year":"1993","unstructured":"Y Shoham. Agent-oriented programming. Artificial Intelligence, 60:51\u201392, 1993.","journal-title":"Artificial Intelligence"},{"issue":"12","key":"10_CR40","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1109\/2.735849","volume":"31","author":"M.P. Singh","year":"1998","unstructured":"M.P. Singh. Agent communication languages: Rethinking the principles. IEEE Computer, 31(12):40\u201347, 1998.","journal-title":"IEEE Computer"},{"key":"10_CR41","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"324","DOI":"10.1007\/BFb0015252","volume-title":"Computer Science Today","author":"G. Smolka","year":"1995","unstructured":"G. Smolka. The Oz programming model. In J. van Leeuwen, editor, Computer Science Today, volume 1000 of Lecture Notes in Computer Science, pages 324\u2013343, Berlin, 1995. Springer-Verlag."},{"key":"10_CR42","volume-title":"The Art of Prolog","author":"L. Sterling","year":"1986","unstructured":"L. Sterling and E. Shapiro. The Art of Prolog. The MIT Press, Cambridge, Massachusetts, 1986."},{"key":"10_CR43","volume-title":"Semantics of Programming Languages","author":"R.D. Tennent","year":"1991","unstructured":"R.D. Tennent. Semantics of Programming Languages. Prentice Hall, Hertfordshire, 1991."},{"key":"10_CR44","series-title":"PhD thesis","volume-title":"PLACA, an Agent Oriented Programming Language","author":"S.R. Thomas","year":"1993","unstructured":"S.R. Thomas. PLACA, an Agent Oriented Programming Language. PhD thesis, Computer Science Department, Stanford University, Stanford, CA, 1993."},{"key":"10_CR45","unstructured":"M. Wooldridge. Verifying that agents implement a communication language. In Proceedings of the Sixteenth National Conference on Artificial Intelligence (AAAI-99), pages 52\u201357, 1999."},{"issue":"1","key":"10_CR46","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1023\/A:1010090027213","volume":"3","author":"M. Wooldridge","year":"2000","unstructured":"M. Wooldridge. Semantic issues in the verification of agent communication. Autonomous Agents and Multi-Agent Systems, 3(1):9\u201331, 2000.","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"issue":"2","key":"10_CR47","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","Foundations and Applications of Multi-Agent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45634-1_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,22]],"date-time":"2020-04-22T06:28:59Z","timestamp":1587536939000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45634-1_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540439622","9783540456346"],"references-count":47,"URL":"https:\/\/doi.org\/10.1007\/3-540-45634-1_10","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}