{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T01:31:16Z","timestamp":1773192676209,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540261728","type":"print"},{"value":"9783540319276","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11493402_11","type":"book-chapter","created":{"date-parts":[[2010,7,12]],"date-time":"2010-07-12T21:52:26Z","timestamp":1278971546000},"page":"183-197","source":"Crossref","is-referenced-by-count":60,"title":["A Lightweight Coordination Calculus for Agent Systems"],"prefix":"10.1007","author":[{"given":"David","family":"Robertson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","unstructured":"Kagal, L., Finin, T., Joshi, A.: A policy language for pervasive systems. In: Fourth IEEE International Workshop on Policies for Distributed Systems and Networks (2003)"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Decker, K., Pannu, A., Sycara, K., Williamson, M.: Designing behaviors for information agents. In: Proceedings of the First International Conference on Autonomous Agents (1997)","DOI":"10.1145\/267658.267748"},{"key":"11_CR3","unstructured":"Giampapa, J., Sycara, K.: Team-oriented agent coordination in the retsina multi-agent system. Technical Report CMU-RI-TR-02-34, Robotics Institute, Carnegie Mellon University (2002)"},{"key":"11_CR4","unstructured":"McIlraith, S., Son, T.: Adapting golog for composition of semantic web services. In: Proceedings of the Eighth International Conference on Knowledge Representation and Reasoning, pp. 482\u2013493 (2002)"},{"key":"11_CR5","unstructured":"Sheshagiri, M., desJardins, M., Finin, T.: A planner for composing services described in daml-s. In: International Conference on Automated Planning and Scheduling (2003)"},{"key":"11_CR6","series-title":"Lecture Notes in Computer Science","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, M., Bradshaw, J.: What is a conversation policy? In: Dignum, F.P.M., Greaves, M. (eds.) Issues in Agent Communication. LNCS, vol.\u00a01916, pp. 118\u2013131. Springer, Heidelberg (2000)"},{"key":"11_CR7","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1007\/3-540-45448-9_26","volume-title":"Intelligent Agents VIII","author":"M. Esteva","year":"2002","unstructured":"Esteva, M., Padget, J., Sierra, C.: Formalizing a language for institutions and norms. In: Meyer, J.-J.C., Tambe, M. (eds.) ATAL 2001. LNCS (LNAI), vol.\u00a02333, pp. 348\u2013366. Springer, Heidelberg (2002)"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"Esteva, M., de la Cruz, D., Sierra, C.: Islander: an electronic institutions editor. In: Proceedings of the 1st International Joint Conference on Autonomous Agents and MultiAgent Systems, pp. 1045\u20131052 (2002)","DOI":"10.1145\/545056.545069"},{"key":"11_CR9","unstructured":"Robertson, D.: A lightweight method for coordination of agent oriented web services. In: Proceedings of AAAI Spring Symposium on Semantic Web Services, California, USA (2004)"},{"key":"11_CR10","unstructured":"Walton, C.: Model checking multi-agent web services. In: Proceedings of AAAI Spring Symposium on Semantic Web Services, California, USA (2004)"},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"Fitoussi, D., Tennenholtz, M.: Choosing social laws for multi-agent systems: Minimality and simplicity. Artificial Intelligence\u00a0119 (2000)","DOI":"10.1016\/S0004-3702(00)00006-0"},{"key":"11_CR12","unstructured":"Huget, M., Esteva, M., Phelps, S., Sierra, C., Wooldridge, M.: Model checking electronic institutions. In: Proceedings of ECAI Workshop on Model Checking and Artificial Intelligence, Lyon, France (2002)"},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"Monderer, D., Tennenholtz, M.: Distributed games: From mechanisms to protocols. In: Proceedings of the Sixth National Conference on Artificial Intelligence (1999)","DOI":"10.1006\/game.1998.0689"},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"Labrou, Y., Finin, T.: A semantics approach for KQML: a general purpose communication language for software agents. In: Third International Conference on Knowledge and Information Management (1994)","DOI":"10.1145\/191246.191320"}],"container-title":["Lecture Notes in Computer Science","Declarative Agent Languages and Technologies II"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11493402_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,31]],"date-time":"2021-10-31T05:13:05Z","timestamp":1635657185000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11493402_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540261728","9783540319276"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/11493402_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}