{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T00:07:04Z","timestamp":1743120424462,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642250439"},{"type":"electronic","value":"9783642250446"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-25044-6_25","type":"book-chapter","created":{"date-parts":[[2011,11,9]],"date-time":"2011-11-09T03:01:23Z","timestamp":1320807683000},"page":"311-322","source":"Crossref","is-referenced-by-count":2,"title":["Producing Enactable Protocols in Artificial Agent Societies"],"prefix":"10.1007","author":[{"given":"George K.","family":"Lekeas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christos","family":"Kloukinas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kostas","family":"Stathis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"25_CR1","unstructured":"Bouaziz, W.: Une Ontologie de Protocoles pour la Coordination de Syst\u00e8mes Distribu\u00e9s. In: Journ\u00e9es Francophones sur les Ontologies (JFO), Sousse, Tunisie, 18\/10\/07-20\/10\/07. pp. 231\u2013246. Centre de Publication Universitaire (October 2007)"},{"key":"25_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"609","DOI":"10.1007\/978-3-642-01665-3_61","volume-title":"Agent and Multi-Agent Systems: Technologies and Applications","author":"W. Bouaziz","year":"2009","unstructured":"Bouaziz, W., Andonoff, E.: Dynamic Execution of Coordination Protocols in Open and Distributed Multi-Agent Systems. In: H\u00e5kansson, A., Nguyen, N.T., Hartung, R.L., Howlett, R.J., Jain, L.C. (eds.) KES-AMSTA 2009. LNCS, vol.\u00a05559, pp. 609\u2013618. Springer, Heidelberg (2009)"},{"issue":"2-3","key":"25_CR3","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/s10588-006-9542-x","volume":"12","author":"P. Davidsson","year":"2006","unstructured":"Davidsson, P., Johansson, S.: On the potential of norm-governed behavior in different categories of artificial societies. Comput. Math. Organ. Theory\u00a012(2-3), 169\u2013180 (2006), \n                      \n                        http:\/\/dx.doi.org\/10.1007\/s10588-006-9542-x","journal-title":"Comput. Math. Organ. Theory"},{"issue":"12","key":"25_CR4","doi-asserted-by":"publisher","first-page":"1015","DOI":"10.1109\/TSE.2005.140","volume":"31","author":"N. Desai","year":"2005","unstructured":"Desai, N., Mallya, A.U., Chopra, A.K., Singh, M.P.: Interaction protocols as design abstractions for business processes. IEEE Transactions on Software Engineering\u00a031(12), 1015\u20131027 (2005)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"25_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/978-3-642-02734-5_3","volume-title":"Computational Logic in Multi-Agent Systems","author":"L. Giordano","year":"2009","unstructured":"Giordano, L., Martelli, A.: Verifying Agents\u2019 Conformance with Multiparty Protocols. In: Fisher, M., Sadri, F., Thielscher, M. (eds.) CLIMA IX. LNCS, vol.\u00a05405, pp. 17\u201336. Springer, Heidelberg (2009)"},{"key":"25_CR6","unstructured":"Goradia, V., Mowry, B., Kang, P., Panjwani, M., Lowe, D., Somogyi, A., Magruder, P., Wagner, T., McNeil, D., Yang, C., Arms, W., Sirbu, M., Tygar, D.: Netbill 1994 prototype. TR 1994-11, Information Networking Institute, Carnegie Mellon University (1994)"},{"key":"25_CR7","unstructured":"Kloukinas, C., Lekeas, G., Stathis, K.: From agent game protocols to implementable roles. In: EUMAS 2008, Sixth European Workshop on Multi-Agent Systems, Bath, UK, pp. 1\u201315 (December 2008)"},{"issue":"1","key":"25_CR8","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(1), 67\u201395 (1986)","journal-title":"New Generation Computing"},{"key":"25_CR9","unstructured":"McCarthy, J., Hayes, P.J.: Some philosophical problems from the standpoint of artificial intelligence, pp. 26\u201345 (1987)"},{"key":"25_CR10","volume-title":"A Calculus of Communicating Systems","author":"R. Milner","year":"1982","unstructured":"Milner, R.: A Calculus of Communicating Systems. Springer-Verlag New York, Inc., Secaucus (1982)"},{"issue":"4","key":"25_CR11","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"Murata, T.: Petri nets: Properties, analysis and applications. Proceedings of the IEEE\u00a077(4), 541\u2013580 (1989)","journal-title":"Proceedings of the IEEE"},{"issue":"3","key":"25_CR12","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1017\/S026988890000789X","volume":"11","author":"H.S. Nwana","year":"1996","unstructured":"Nwana, H.S.: Software agents: An overview. Knowledge Engineering Review\u00a011(3), 205\u2013244 (1996)","journal-title":"Knowledge Engineering Review"},{"key":"25_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1516507.1516510","volume":"31","author":"D. Sangiorgi","year":"2009","unstructured":"Sangiorgi, D.: On the origins of bisimulation and coinduction. ACM Trans. Program. Lang. Syst.\u00a031, 15:1\u201315:41 (2009), \n                      \n                        http:\/\/doi.acm.org\/10.1145\/1516507.1516510","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"25_CR14","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1007\/11423355_5","volume-title":"Engineering Societies in the Agents World V","author":"C. Sibertin-Blanc","year":"2005","unstructured":"Sibertin-Blanc, C., Hameurlain, N.: Participation Components for Holding Roles in Multiagent Systems Protocols. In: Gleizes, M.-P., Omicini, A., Zambonelli, F. (eds.) ESAW 2004. LNCS (LNAI), vol.\u00a03451, pp. 60\u201373. Springer, Heidelberg (2005)"},{"key":"25_CR15","unstructured":"Stathis, K.: Game\u2013based development of interactive systems. Ph.D. thesis, Department of Computing, Imperial College London (November 1996)"},{"key":"25_CR16","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"384","DOI":"10.1007\/978-3-540-75524-1_22","volume-title":"Engineering Societies in the Agents World VII","author":"K. Stathis","year":"2007","unstructured":"Stathis, K., Lekeas, G., Kloukinas, C.: Competence Checking for the Global E-Service Society Using Games. In: O\u2019Hare, G.M.P., Ricci, A., O\u2019Grady, M.J., Dikenelli, O. (eds.) ESAW 2006. LNCS (LNAI), vol.\u00a04457, pp. 384\u2013400. Springer, Heidelberg (2007)"},{"issue":"3","key":"25_CR17","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1023\/A:1010056221226","volume":"2","author":"M. Venkatraman","year":"1999","unstructured":"Venkatraman, M., Singh, M.P.: Verifying compliance with commitment protocols. Autonomous Agents and Multi-Agent Systems\u00a02(3), 217\u2013236 (1999)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"issue":"1","key":"25_CR18","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1145\/174800.174801","volume":"1","author":"M. Weiser","year":"1994","unstructured":"Weiser, M.: The world is not a desktop. ACM Interactions\u00a01(1), 7\u20138 (1994), \n                      \n                        http:\/\/doi.acm.org\/10.1145\/174800.174801","journal-title":"ACM Interactions"}],"container-title":["Lecture Notes in Computer Science","Agents in Principle, Agents in Practice"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-25044-6_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,16]],"date-time":"2019-04-16T03:30:01Z","timestamp":1555385401000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-25044-6_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642250439","9783642250446"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-25044-6_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}