{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:18:02Z","timestamp":1725491882375},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540755227"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-75524-1_14","type":"book-chapter","created":{"date-parts":[[2007,9,12]],"date-time":"2007-09-12T00:07:09Z","timestamp":1189555629000},"page":"245-264","source":"Crossref","is-referenced-by-count":13,"title":["Using Constraints and Process Algebra for Specification of First-Class Agent Interaction Protocols"],"prefix":"10.1007","author":[{"given":"Tim","family":"Miller","sequence":"first","affiliation":[]},{"given":"Peter","family":"McBurney","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"14_CR1","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1145\/967900.967918","volume-title":"Proceedings of the 2004 ACM Symposium on Applied Computing","author":"M. Alberti","year":"2004","unstructured":"Alberti, M., Daolio, D., Torroni, P., Gavanelli, M., Lamma, E., Mello, P.: Specification and verification of agent interaction protocols in a logic-based system. In: Haddad, H.M., Omicini, A., Wainwright, R.L. (eds.) Proceedings of the 2004 ACM Symposium on Applied Computing, pp. 72\u201378. ACM Press, New York (2004)"},{"volume-title":"The Description Logic Handbook: Theory, Implementation, Applications","year":"2003","key":"14_CR2","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardiand, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, Applications. Cambridge University Press, Cambridge (2003)"},{"key":"14_CR3","unstructured":"Blackburn, P., van Benthem, J., Wolter, F.: Handbook of Modal Logic. Elsevier, North Holland (2006)"},{"key":"14_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1007\/978-3-540-30578-1_4","volume-title":"Agent-Oriented Software Engineering V","author":"L. Cabac","year":"2005","unstructured":"Cabac, L., Moldt, D.: Formal semantics for AUML agent interaction protocol diagrams. In: Odell, J.J., Giorgini, P., M\u00fcller, J.P. (eds.) AOSE 2004. LNCS, vol.\u00a03382, pp. 47\u201361. Springer, Heidelberg (2005)"},{"issue":"5","key":"14_CR5","doi-asserted-by":"publisher","first-page":"685","DOI":"10.1145\/265943.265954","volume":"19","author":"F.S. Boer De","year":"1997","unstructured":"De Boer, F.S., Gabbrielli, M., Marchiori, E., Palamidessi, C.: Proving concurrent constraint programs correct. ACM Transactions on Programming Languages and Systems\u00a019(5), 685\u2013725 (1997)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"14_CR6","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/s00200-005-0173-0","volume":"16","author":"F.S. de Boer","year":"2005","unstructured":"de Boer, F.S., de Vries, W., Meyer, J-J.C., van Eijk, R.M., van der Hoek, W.: Process algebra and constraint programming for modelling interactions in MAS. Applicable Algebra in Engineering, Communication and Computing\u00a016, 113\u2013150 (2005)","journal-title":"Applicable Algebra in Engineering, Communication and Computing"},{"key":"14_CR7","unstructured":"Desai, N., Mallya, A.U., Chopra, A.K., Singh, M.P.: OWL-P: A methodology for business process modeling and enactment. In: Workshop on Agent Oriented Information Systems, pp. 50\u201357 (July 2005)"},{"key":"14_CR8","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1109\/ICMAS.1998.699039","volume-title":"Proceedings of the 3rd International Conference on Multi Agent Systems","author":"M. d\u2019Inverno","year":"1998","unstructured":"d\u2019Inverno, M., Kinny, D., Luck, M.: Interaction protocols in Agentis. In: Proceedings of the 3rd International Conference on Multi Agent Systems, pp. 112\u2013119. IEEE Press, New York (1998)"},{"key":"14_CR9","unstructured":"FIPA: FIPA communicative act library specification (2001)"},{"key":"14_CR10","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2516.001.0001","volume-title":"Dynamic Logic","author":"D. Harel","year":"2000","unstructured":"Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. MIT Press, Cambridge (2000)"},{"key":"14_CR11","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall International (1985)"},{"key":"14_CR12","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"R. Kowalski","year":"1986","unstructured":"Kowalski, R., Sergot, M.: A logic-based calculus of events. New Generation Computing\u00a04, 67\u201395 (1986)","journal-title":"New Generation Computing"},{"issue":"3","key":"14_CR13","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1023\/A:1015586128739","volume":"11","author":"P. McBurney","year":"2002","unstructured":"McBurney, P., Parsons, S.: Games that agents play: A formal framework for dialogues between autonomous agents. Journal of Logic, Language and Information\u00a011(3), 315\u2013334 (2002)","journal-title":"Journal of Logic, Language and Information"},{"key":"14_CR14","series-title":"LNAI","volume-title":"Argumentation in Multi-Agent Systems: Second International Workshop","author":"J. McGinnis","year":"2006","unstructured":"McGinnis, J., Robertson, D., Walton, C.: Protocol synthesis with dialogue structure theory. In: Maudet, N., Moraitis, P., Rahwan, I., Parsons, S. (eds.) Argumentation in Multi-Agent Systems: Second International Workshop. LNCS (LNAI), Springer, Heidelberg (2006)"},{"key":"14_CR15","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of Communicating Systems","author":"R. Milner","year":"1980","unstructured":"Milner, R.: A Calculus of Communicating Systems. Springer, Heidelberg (1980)"},{"key":"14_CR16","volume-title":"Communicating and Mobile Systems: the Pi-Calculus","author":"R. Milner","year":"1999","unstructured":"Milner, R.: Communicating and Mobile Systems: the Pi-Calculus. Cambridge University Press, Cambridge (1999)"},{"key":"14_CR17","unstructured":"Odell, J., Van Dyke Parunak, H., Bauer, B.: Extending UML for agents. In: Wagner, G., Lesperance, Y., Yu, E. (eds.) Proceedings of the Agent-Oriented Information Systems Workshop at the 17th National conference on Artificial Intelligence, pp. 3\u201317 (2000)"},{"key":"14_CR18","unstructured":"OWL: Web Ontology Language (February 2004), http:\/\/www.w3.org\/TR\/2004\/REC-owl-features-20040210"},{"key":"14_CR19","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1145\/1082473.1082488","volume-title":"Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems","author":"S. Paurobally","year":"2005","unstructured":"Paurobally, S., Cunningham, J., Jennings, N.R.: A formal framework for agent interaction semantics. In: Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems, pp. 91\u201398. ACM Press, New York (2005)"},{"key":"14_CR20","unstructured":"Plotkin, G.: A structural approach to operational semantics. Technical Report DAIMI FN-19, Aarhus University, Computer Science Department (September 1981)"},{"issue":"2","key":"14_CR21","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1111\/1467-8640.00188","volume":"18","author":"C. Reed","year":"2002","unstructured":"Reed, C., Norman, T.J., Jennings, N.R.: Negotiating the semantics of agent communications languages. Computational Intelligence\u00a018(2), 229\u2013252 (2002)","journal-title":"Computational Intelligence"},{"key":"14_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"416","DOI":"10.1007\/978-3-540-27775-0_29","volume-title":"Logic Programming","author":"D. Robertson","year":"2004","unstructured":"Robertson, D.: Multi-agent coordination as distributed logic programming. In: Demoen, B., Lifschitz, V. (eds.) ICLP 2004. LNCS, vol.\u00a03132, pp. 416\u2013430. Springer, Heidelberg (2004)"},{"key":"14_CR23","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1145\/99583.99627","volume-title":"Proceedings of the 18th ACM Symposium on Principles of Programming Languages","author":"V.A. Saraswat","year":"1991","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, pp. 333\u2013352. ACM Press, New York (1991)"},{"key":"14_CR24","doi-asserted-by":"crossref","unstructured":"Serrano, J.M., Ossowski, S., Saugar, S.: Reusable components for implementing agent interactions. In: Bordini, R.H., Dastani, M., Dix, J., Fallah-Seghrouchni, A.E. (eds.) Programming Multi-Agent Systems, Third International Workshop, pp. 101\u2013119 (2005)","DOI":"10.1007\/11678823_7"},{"key":"14_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/3-540-36103-0_14","volume-title":"Formal Methods and Software Engineering","author":"G. Smith","year":"2002","unstructured":"Smith, G., Derrick, J.: Abstract specification in Object-Z and CSP. In: George, C.W., Miao, H. (eds.) ICFEM 2002. LNCS, vol.\u00a02495, pp. 108\u2013119. Springer, Heidelberg (2002)"},{"key":"14_CR26","first-page":"102","volume-title":"Third International Joint Conference on Autonomous Agents and Multiagent Systems","author":"M. Viroli","year":"2004","unstructured":"Viroli, M., Ricci, A.: Instructions-based semantics of agent mediated interaction. In: Jennings, N.R., Sierra, C., Sonenberg, L., Tambe, M. (eds.) Third International Joint Conference on Autonomous Agents and Multiagent Systems, pp. 102\u2013109. IEEE Computer Society Press, Los Alamitos (2004)"},{"issue":"1\u20133","key":"14_CR27","first-page":"227","volume":"42","author":"P. Yolum","year":"2004","unstructured":"Yolum, P., Singh, M.P.: Reasoning about commitments in the event calculus: An approach for specifying and executing protocols. Annals of Mathematics and AI\u00a042(1\u20133), 227\u2013253 (2004)","journal-title":"Annals of Mathematics and AI"}],"container-title":["Lecture Notes in Computer Science","Engineering Societies in the Agents World VII"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75524-1_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:23:05Z","timestamp":1619504585000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75524-1_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540755227"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75524-1_14","relation":{},"subject":[]}}