{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:21:57Z","timestamp":1725549717824},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540290414"},{"type":"electronic","value":"9783540317333"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11558590_24","type":"book-chapter","created":{"date-parts":[[2005,10,5]],"date-time":"2005-10-05T08:53:11Z","timestamp":1128502391000},"page":"237-248","source":"Crossref","is-referenced-by-count":1,"title":["An ACL for Specifying Fault-Tolerant Protocols"],"prefix":"10.1007","author":[{"given":"Nicola","family":"Dragoni","sequence":"first","affiliation":[]},{"given":"Mauro","family":"Gaspari","sequence":"additional","affiliation":[]},{"given":"Davide","family":"Guidi","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"24_CR1","doi-asserted-by":"crossref","unstructured":"Chaib-draa, B., Dignum, F.: Trends in Agent Communication Language. Computational Intelligence\u00a02 (2002)","DOI":"10.1111\/1467-8640.00184"},{"key":"24_CR2","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1109\/2.735849","volume":"31","author":"M.P. Singh","year":"1998","unstructured":"Singh, M.P.: Agent communication languages: Rethinking the principles. IEEE Computer\u00a031, 40\u201347 (1998)","journal-title":"IEEE Computer"},{"key":"24_CR3","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1023\/B:AGNT.0000038027.29035.7c","volume":"9","author":"M. Luck","year":"2004","unstructured":"Luck, M., McBurney, P., Preist, C.: Manifesto for Agent Technology: Towards Next Generation Computing. Autonomous Agents and Multi-Agent Systems\u00a09, 203\u2013252 (2004)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"24_CR4","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139173438","volume-title":"Speech Acts","author":"J. Searle","year":"1969","unstructured":"Searle, J.: Speech Acts. Cambridge University Press, Cambridge (1969)"},{"key":"24_CR5","first-page":"291","volume-title":"Software Agents","author":"T. Finin","year":"1997","unstructured":"Finin, T., Labrou, Y., Mayfield, J.: KQML as an Agent Communication Language. In: Software Agents, pp. 291\u2013316. MIT Press, Cambridge (1997)"},{"key":"24_CR6","unstructured":"Foundation for Intelligent Physical Agents: Communicative Act Library Specification (2001), http:\/\/www.fipa.org\/specs\/fipa00037"},{"key":"24_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0004-3702(98)00080-0","volume":"105","author":"M. Gaspari","year":"1998","unstructured":"Gaspari, M.: Concurrency and Knowledge-Level Communication in Agent Languages. Artificial Intelligence\u00a0105, 1\u201345 (1998)","journal-title":"Artificial Intelligence"},{"key":"24_CR8","volume-title":"Distributed Systems","author":"S. Mullender","year":"1993","unstructured":"Mullender, S.: Distributed Systems. Addison Wesley, Reading (1993)"},{"key":"24_CR9","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1109\/2.43525","volume":"22","author":"M. Singhal","year":"1989","unstructured":"Singhal, M.: Deadlock Detection in Distributed Systems. IEEE Computer\u00a022, 37\u201348 (1989)","journal-title":"IEEE Computer"},{"key":"24_CR10","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1145\/226643.226647","volume":"43","author":"T.D. Chandra","year":"1996","unstructured":"Chandra, T.D., Toueg, S.: Unreliable Failure Detectors for Reliable Distributed Systems. Journal of the ACM\u00a043, 225\u2013267 (1996)","journal-title":"Journal of the ACM"},{"key":"24_CR11","unstructured":"Dragoni, N., Gaspari, M.: Fault Tolerant Knowledge Level Communication in Open Asynchronous Multi-Agent Systems. Technical Report UBLCS-2005-10, Department of Computer Science, University of Bologna, ITALY (2005)"},{"key":"24_CR12","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1016\/j.jlap.2004.05.006","volume":"63","author":"N. Dragoni","year":"2005","unstructured":"Dragoni, N., Gaspari, M.: An Object Based Algebra for Specifying A Fault Tolerant Software Architecture. Journal of Logic and Algebraic Programming\u00a063, 271\u2013297 (2005)","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"24_CR13","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/978-0-387-35562-7_2","volume-title":"Proceedings of IFIP Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS)","author":"M. Gaspari","year":"1999","unstructured":"Gaspari, M., Zavattaro, G.: An Algebra of Actors. In: Proceedings of IFIP Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS), pp. 3\u201318. Kluwer Academic Publishers, Dordrecht (1999)"},{"key":"24_CR14","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1086.001.0001","volume-title":"Actors: a Model of Concurrent Computation in Distributed Systems","author":"G. Agha","year":"1986","unstructured":"Agha, G.: Actors: a Model of Concurrent Computation in Distributed Systems. MIT Press, Cambridge (1986)"},{"key":"24_CR15","doi-asserted-by":"publisher","first-page":"1104","DOI":"10.1109\/TC.1980.1675516","volume":"29","author":"R.G. Smith","year":"1980","unstructured":"Smith, R.G.: The Contract Net Protocol: High Level Communication and Control in a Distributed Problem Solver. IEEE Transactions on Computers\u00a029, 1104\u20131113 (1980)","journal-title":"IEEE Transactions on Computers"},{"key":"24_CR16","unstructured":"Shah, N., Chao, K., Anane, R., Godwin, N.: A Flexible Approach to Exception Handling in Open Multi-agent Systems. In: Proceedings of the 2nd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2003) Challenges 2003 Workshop, pp. 7\u201310 (2003)"},{"key":"24_CR17","first-page":"1482","volume-title":"AAMAS","author":"S. Parsons","year":"2004","unstructured":"Parsons, S., Klein, M.: Towards Robust Multi-Agent Systems: Handling Communication Exceptions in Double Auctions. In: AAMAS, pp. 1482\u20131483. IEEE Computer Society, Los Alamitos (2004)"},{"key":"24_CR18","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1023\/A:1024145408578","volume":"7","author":"M. Klein","year":"2003","unstructured":"Klein, M., Rodr\u00edguez-Aguilar, J.A., Dellarocas, C.: Using Domain-Independent Exception Handling Services to Enable Robust Open Multi-Agent Systems: The Case of Agent Death. Autonomous Agents and Multi-Agent Systems\u00a07, 179\u2013189 (2003)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"24_CR19","unstructured":"Dragoni, N., Gaspari, M., Guidi, D.: Integrating Knowledge-Level Agents in the (Semantic) Web: an Agent-based Open Service Architecture. In: Proceedings of the 18th International FLAIRS Conference. AAAI Press, Menlo Park (2005)"}],"container-title":["Lecture Notes in Computer Science","AI*IA 2005: Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11558590_24.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,18]],"date-time":"2021-07-18T04:06:09Z","timestamp":1626581169000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11558590_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540290414","9783540317333"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/11558590_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}