{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T20:09:54Z","timestamp":1743019794044,"version":"3.40.3"},"publisher-location":"Cham","reference-count":12,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319572635"},{"type":"electronic","value":"9783319572642"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-57264-2_40","type":"book-chapter","created":{"date-parts":[[2017,4,6]],"date-time":"2017-04-06T23:01:15Z","timestamp":1491519675000},"page":"397-406","source":"Crossref","is-referenced-by-count":3,"title":["Proving the Effectiveness of Negotiation Protocols KQML in Multi-agent Systems Using Event-B"],"prefix":"10.1007","author":[{"given":"Ammar Alhaj","family":"Ali","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roman","family":"Jasek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Said","family":"Krayem","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Petr","family":"Zacek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,4,7]]},"reference":[{"key":"40_CR1","unstructured":"Anumba, C., Ren, Z., Ugwu, O.O.: Agents and Multi-agent Systems in Construction, Routledge, United Kingdom (2005). ISBN 9781134242665"},{"key":"40_CR2","volume-title":"An Introduction to Multiagent Systems","author":"M Wooldridge","year":"2002","unstructured":"Wooldridge, M.: An Introduction to Multiagent Systems. Wiley, Hoboken (2002). ISBN 0-471-49691-X, Department of Computer Science, University of Liverpool, UK"},{"key":"40_CR3","volume-title":"Intelligent Software Agents: Foundations and Applications","author":"W Brenner","year":"2012","unstructured":"Brenner, W., Zarnekow, R., Wittig, H.: Intelligent Software Agents: Foundations and Applications. Springer, Heidelberg (2012). ISBN 9783642804847"},{"key":"40_CR4","volume-title":"Multiagent Systems Algorithmic, Game-Theoretic, and Logical Foundations","author":"Y Shoham","year":"2009","unstructured":"Shoham, Y., Leyton, K.: Multiagent Systems Algorithmic, Game-Theoretic, and Logical Foundations. Cambridge University Press, New York (2009). ISBN 9783642804847, UK"},{"key":"40_CR5","unstructured":"The Agent\u2019s Language. University of Osnabr\u00fcck, Germany. http:\/\/www-lehre.inf.uos.de\/~milic\/Coxi\/Communication_in_MAS.pdf"},{"key":"40_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-14435-6","volume-title":"Innovations in Multi-agent Systems and Application","author":"D Srinivasan","year":"2010","unstructured":"Srinivasan, D.: Innovations in Multi-agent Systems and Application. Springer, Heidelberg (2010). ISBN 9783642144356, Germany"},{"key":"40_CR7","unstructured":"http:\/\/www.event-b.org\/"},{"key":"40_CR8","unstructured":"Damchoom, K., Butler, M., Abria, J.-R.: Modelling and Proof of a Tree-Structured File System in Event-B and Rodin (2008). http:\/\/www.ensiie.fr\/~dubois\/PR_2010\/TreeFileSysICFEM2008.pdf"},{"key":"40_CR9","unstructured":"Abrial, J.-R., Butler, M., Hallerstede, S., Hoang, T.S., Mehta, F., Voisin, L.: Rodin: An Open Toolset for Modelling and Reasoning in Event-B (2009). http:\/\/deploy-eprints.ecs.soton.ac.uk\/130\/1\/main.pdf"},{"key":"40_CR10","unstructured":"Jastram, M., Butler, M.: Rodin User\u2019s Handbook: Covers Rodin v.2.8. CreateSpace Independent Publishing Platform (2014). ISBN 10: 1495438147, ISBN 13: 9781495438141, USA. https:\/\/www3.hhu.de\/stups\/handbook\/rodin\/current\/pdf\/rodin-doc.pdf"},{"key":"40_CR11","unstructured":"Finin, T., Labrou, Y., Mayfield, J.: KQML as an agent communication language. http:\/\/www.cs.umbc.edu\/kqml\/papers\/kqmlacl.pdf"},{"key":"40_CR12","unstructured":"Hoang, T.S., Furst, A., Abrial, J.-R.: Event-B Patterns and Their Tool Support. http:\/\/e-collection.library.ethz.ch\/eserv\/eth:5538\/eth-5538-01.pdf"}],"container-title":["Advances in Intelligent Systems and Computing","Cybernetics and Mathematics Applications in Intelligent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-57264-2_40","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,25]],"date-time":"2017-06-25T10:23:04Z","timestamp":1498386184000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-57264-2_40"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319572635","9783319572642"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-57264-2_40","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2017]]}}}