{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,16]],"date-time":"2023-10-16T05:17:35Z","timestamp":1697433455863},"reference-count":37,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2006,5,22]],"date-time":"2006-05-22T00:00:00Z","timestamp":1148256000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Auton Agent Multi-Agent Syst"],"published-print":{"date-parts":[[2006,11]]},"DOI":"10.1007\/s10458-006-0006-y","type":"journal-article","created":{"date-parts":[[2006,5,22]],"date-time":"2006-05-22T13:32:35Z","timestamp":1148304755000},"page":"355-390","source":"Crossref","is-referenced-by-count":15,"title":["Crash failure detection in asynchronous agent communication languages"],"prefix":"10.1007","volume":"13","author":[{"given":"Nicola","family":"Dragoni","sequence":"first","affiliation":[]},{"given":"Mauro","family":"Gaspari","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,5,22]]},"reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"Agha, G. (1986). Actors: A model of concurrent computation in distributed systems. MIT Press.","DOI":"10.7551\/mitpress\/1086.001.0001"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Amadio, R. (1997). An asynchronous model of locality, failure, and process mobility. In Proceedings of coordination, volume 1282 of Lecture notes in computer science (pp. 374\u2013391) Springer-Verlag.","DOI":"10.1007\/3-540-63383-9_92"},{"key":"6_CR3","unstructured":"Amadio, R., & Prasad, S. (1994). Localities and failures. In Proceedings of the 14th foundations of software technology and theoretical computer science conference, volume 880 of Lecture notes in computer science (pp. 205\u2013216) Springer-Verlag."},{"issue":"3","key":"6_CR4","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1093\/comjnl\/43.3.191","volume":"43","author":"C. Bernardeschi","year":"2000","journal-title":"The Computer Journal"},{"issue":"5","key":"6_CR5","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1111\/1467-8640.00184","volume":"2","author":"B. Chaib-draa","year":"2002","journal-title":"Computational Intelligence"},{"issue":"2","key":"6_CR6","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1145\/226643.226647","volume":"43","author":"T.D. Chandra","year":"1996","journal-title":"Journal of the ACM"},{"issue":"2","key":"6_CR7","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1016\/j.jlap.2004.05.006","volume":"63","author":"N. Dragoni","year":"2005","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"6_CR8","unstructured":"Dragoni, N., Gaspari, M., & Guidi, D. (To apper). A reasoning infrastructure to support cooperation of intelligent agents on the semantic grid. International Journal of Applied Intelligence."},{"key":"6_CR9","unstructured":"Finin, T., Labrou, Y., & Mayfield, J. (1997). KQML as an Agent communication language. In Software agents, (pp. 291\u2013316) MIT Press."},{"key":"6_CR10","unstructured":"FIPA Communicative Act Library Specification. (2002). Available online: http:\/\/www.fipa.org\/, Document number: SC00037J."},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Fournet, C., Gonthier, G., Levy, J., Maranget, L., & Remy, D. (1996). A calculus of mobile agents. In Proceedings of the 7th international conference on concurrency theory (CONCUR) (pp. 406\u2013421). Springer-Verlag.","DOI":"10.1007\/3-540-61604-7_67"},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"Gaspari, M. (1998). Concurrency and knowledge-level communication in agent languages. Artificial Intelligence, 105(1\u20132), 1\u201345.","DOI":"10.1016\/S0004-3702(98)00080-0"},{"issue":"2","key":"6_CR13","doi-asserted-by":"crossref","first-page":"102","DOI":"10.1111\/1467-8640.00185","volume":"18","author":"M. Gaspari","year":"2002","journal-title":"Computational Intelligence"},{"key":"6_CR14","unstructured":"Gaspari, M., & Zavattaro, G. (1999). A process algebraic specification of the new asynchronous corba messaging service. In Proceedings of European conference on object oriented programming (ECOOP), volume 1628 of Lecture notes in computer science (pp. 495\u2013518) Berlin: Springer-Verlag."},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"Gaspari, M., & Zavattaro, G. (1999). An algebra of actors. In Proceedings of IFIP conference on formal methods for open object-based distributed systems (FMOODS), (pp. 3\u201318) Kluwer Academic Publisher.","DOI":"10.1007\/978-0-387-35562-7_2"},{"key":"6_CR16","unstructured":"Gaspari, M., & Zavattaro, G. (2001). An actor algebra for specifying distributed systems: The hurried philosophers case study. In G. Agha, F. Decindio, & G. Rozenberg (Eds), Concurrent object-oriented programming and Petri Nets, volume 200 of Lecture notes in computer science (pp. 428\u2013444) Berlin: Springer-Verlag."},{"issue":"3","key":"6_CR17","doi-asserted-by":"crossref","first-page":"549","DOI":"10.1145\/79147.79161","volume":"37","author":"J.Y. Halpern","year":"1990","journal-title":"Journal of the ACM"},{"key":"6_CR18","unstructured":"He, H., Haas, H., & Orchard, D. (2004). Web services architecture usage scenarios. Technical report NOTE-ws-arch-scenarios-20040211, W3C, February 2004."},{"key":"6_CR19","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1613\/jair.682","volume":"12","author":"G.A. Kaminka","year":"2000","journal-title":"Journal of Artificial Intelligence Research"},{"key":"6_CR20","doi-asserted-by":"crossref","unstructured":"Klein, M., & Dellarocas, C. (1999). Exception handling in agent systems. In AGENTS \u201999: Proceedings of the third annual conference on autonomous agents (pp. 62\u201368) New York, NY, USA: ACM Press.","DOI":"10.1145\/301136.301164"},{"issue":"1\u20132","key":"6_CR21","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1023\/A:1024145408578","volume":"7","author":"M. Klein","year":"2003","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"issue":"3","key":"6_CR22","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1023\/B:AGNT.0000038027.29035.7c","volume":"9","author":"M. Luck","year":"2004","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"6_CR23","unstructured":"Milner, R. (1989). Communication and concurrency. Prentice Hall."},{"issue":"2","key":"6_CR24","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1017\/S0960129500001407","volume":"2","author":"R. Milner","year":"1992","journal-title":"Mathematical Structures in Computer Science"},{"key":"6_CR25","unstructured":"Milner, R. (1999). Communicating and mobile systems: The \u03c0-calculus. Cambridge University Press."},{"key":"6_CR26","unstructured":"Mullender, S. (1993). Distributed systems. Addison Wesley."},{"key":"6_CR27","doi-asserted-by":"crossref","unstructured":"Nestmann, U., & Fuzzati, R. (2003). Unreliable failure detectors via operational semantics. In V. A. Saraswat (Ed.), Proceedings of ASIAN conference, volume 2896 of Lecture notes in computer science (pp. 54\u201371). Springer Verlag.","DOI":"10.1007\/978-3-540-40965-6_5"},{"key":"6_CR28","doi-asserted-by":"crossref","unstructured":"Nestmann, U., Fuzzati, R., & Merro, M. (2003). Modeling consensus in process calculus. In Proceedings of the international conference on concurrency theory (CONCUR), volume 2761 of Lecture notes in computer science (pp. 393\u2013407). Springer Verlag.","DOI":"10.1007\/978-3-540-45187-7_26"},{"key":"6_CR29","unstructured":"Parsons, S., & Klein, M. (2004). Towards robust multi-agent systems: Handling communication exceptions in double auctions. In AAMAS, (pp. 1482\u20131483). IEEE Computer Society."},{"key":"6_CR30","volume-title":"A structural approach to operational semantics","author":"G. Plotkin","year":"1981"},{"key":"6_CR31","volume-title":"Specification and proof of a simple fault tolerant system in CCS","author":"K.V.S. Prasad","year":"1984"},{"issue":"1\u20132","key":"6_CR32","doi-asserted-by":"crossref","first-page":"693","DOI":"10.1016\/S0304-3975(00)00326-1","volume":"266","author":"J. Riely","year":"2001","journal-title":"Theoretical Computer Science"},{"key":"6_CR33","doi-asserted-by":"crossref","unstructured":"Searle, J. R. (1969). Speech acts. Cambridge University Press.","DOI":"10.1017\/CBO9781139173438"},{"key":"6_CR34","unstructured":"Shah, N., Chao, K. M., Anane, R., & Godwin, N. (2003). A flexible approach to exception handling in open multi-agent systems. In Proceedings of the 2nd international joint conference on autonomous agents and multi-agent systems (AAMAS-03) Challenges\u201903 Workshop (pp. 7\u201310)."},{"issue":"12","key":"6_CR35","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1109\/2.735849","volume":"31","author":"M.P. Singh","year":"1998","journal-title":"IEEE Computer"},{"issue":"11","key":"6_CR36","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1109\/2.43525","volume":"22","author":"M. Singhal","year":"1989","journal-title":"IEEE Computer"},{"issue":"12","key":"6_CR37","doi-asserted-by":"crossref","first-page":"1104","DOI":"10.1109\/TC.1980.1675516","volume":"29","author":"R.G. Smith","year":"1980","journal-title":"IEEE Transactions on Computers"}],"container-title":["Autonomous Agents and Multi-Agent Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10458-006-0006-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10458-006-0006-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10458-006-0006-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,7]],"date-time":"2023-05-07T13:30:05Z","timestamp":1683466205000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10458-006-0006-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,5,22]]},"references-count":37,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2006,11]]}},"alternative-id":["6"],"URL":"https:\/\/doi.org\/10.1007\/s10458-006-0006-y","relation":{},"ISSN":["1387-2532","1573-7454"],"issn-type":[{"value":"1387-2532","type":"print"},{"value":"1573-7454","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,5,22]]}}}