{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,12]],"date-time":"2025-11-12T13:41:00Z","timestamp":1762954860521,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2008,11,17]],"date-time":"2008-11-17T00:00:00Z","timestamp":1226880000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2008,11,17]]},"DOI":"10.1145\/1479772.1479779","type":"proceedings-article","created":{"date-parts":[[2009,9,28]],"date-time":"2009-09-28T17:33:43Z","timestamp":1254159223000},"page":"39-48","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Formal development of cooperative exception handling for mobile agent systems"],"prefix":"10.1145","author":[{"given":"Linas","family":"Laibinis","sequence":"first","affiliation":[{"name":"\u00c5bo Akademi University, Finland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elena","family":"Troubitsyna","sequence":"additional","affiliation":[{"name":"\u00c5bo Akademi University, Finland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexei","family":"Iliasov","sequence":"additional","affiliation":[{"name":"Newcastle University, England"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Romanovsky","sequence":"additional","affiliation":[{"name":"Newcastle University, England"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2008,11,17]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"169","volume-title":"1st Conference on the B method","author":"Abrial J. R.","year":"1996","unstructured":"J. R. Abrial . Extending B without changing it (for developing distributed systems). In H. Habrias, editor , 1st Conference on the B method , pages 169 -- 190 . IRIN Institut de recherche en informatique de Nantes , 1996 . J. R. Abrial. Extending B without changing it (for developing distributed systems). In H. Habrias, editor, 1st Conference on the B method, pages 169--190. IRIN Institut de recherche en informatique de Nantes, 1996."},{"key":"e_1_3_2_1_2_1","volume-title":"The B-Book: Assigning Programs to Meanings","author":"Abrial J. R.","year":"2005","unstructured":"J. R. Abrial . The B-Book: Assigning Programs to Meanings . Cambridge University Press , 2005 . J. R. Abrial. The B-Book: Assigning Programs to Meanings. Cambridge University Press, 2005."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2004.2"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/6223.6276"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129504004177"},{"key":"e_1_3_2_1_6_1","first-page":"81","volume-title":"Software Fault Tolerance","author":"Cristian F.","year":"1995","unstructured":"F. Cristian . Exception Handling and Fault Tolerance of Software Faults . In M. Lyu, editor, Software Fault Tolerance , pages 81 -- 107 . Wiley , NY , 1995 . F. Cristian. Exception Handling and Fault Tolerance of Software Faults. In M. Lyu, editor, Software Fault Tolerance, pages 81--107. Wiley, NY, 1995."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2363.2433"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/361227.361230"},{"key":"e_1_3_2_1_9_1","unstructured":"A. Iliasov. Implementation of Cama Middleware. Available online at http:\/\/sourceforge.net\/projects\/cama.  A. Iliasov. Implementation of Cama Middleware. Available online at http:\/\/sourceforge.net\/projects\/cama."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2005.73"},{"key":"e_1_3_2_1_11_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1007\/11818502_10","volume-title":"Advanced Topics in Exception Handling Techniques","author":"Iliasov A.","year":"2006","unstructured":"A. Iliasov and A. Romanovsky . Structured coordination spaces for fault tolerant mobile agents . In C. Dony, J. L. Knudsen, A. B. Romanovsky, and A. Tripathi, editors, Advanced Topics in Exception Handling Techniques , volume 4119 of Lecture Notes in Computer Science , pages 181 -- 199 . Springer , 2006 . A. Iliasov and A. Romanovsky. Structured coordination spaces for fault tolerant mobile agents. In C. Dony, J. L. Knudsen, A. B. Romanovsky, and A. Tripathi, editors, Advanced Topics in Exception Handling Techniques, volume 4119 of Lecture Notes in Computer Science, pages 181--199. Springer, 2006."},{"key":"e_1_3_2_1_12_1","first-page":"29","volume-title":"An Exception Handling Mechanism for Parallel Object-Oriented Programming: Towards the design of Reusable, and Robust Distributed Software. Journal of Object-Oriented Programming 6(6)","author":"Issarny V.","year":"1993","unstructured":"V. Issarny . An Exception Handling Mechanism for Parallel Object-Oriented Programming: Towards the design of Reusable, and Robust Distributed Software. Journal of Object-Oriented Programming 6(6) , pages 29 -- 39 , October 1993 . V. Issarny. An Exception Handling Mechanism for Parallel Object-Oriented Programming: Towards the design of Reusable, and Robust Distributed Software. Journal of Object-Oriented Programming 6(6), pages 29--39, October 1993."},{"key":"e_1_3_2_1_13_1","unstructured":"L. Laibinis. B specification of the Cama exception handling mechanism. Available online at http:\/\/cama.sourceforge.net\/downloads.html.  L. Laibinis. B specification of the Cama exception handling mechanism. Available online at http:\/\/cama.sourceforge.net\/downloads.html."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","unstructured":"L.\n      Laibinis E.\n      Troubitsyna A.\n      Iliasov and \n      A.\n      Romanovsky\n  . \n  Rigorous development of fault-tolerant agent systems\n  . In M. J. Butler C. B. Jones A. Romanovsky and E. Troubitsyna editors RODIN Book volume \n  4157\n   of \n  Lecture Notes in Computer Science pages \n  241\n  --\n  260\n  . \n  Springer 2006\n  .   L. Laibinis E. Troubitsyna A. Iliasov and A. Romanovsky. Rigorous development of fault-tolerant agent systems. In M. J. Butler C. B. Jones A. Romanovsky and E. Troubitsyna editors RODIN Book volume 4157 of Lecture Notes in Computer Science pages 241--260. Springer 2006.","DOI":"10.1007\/11916246_13"},{"key":"e_1_3_2_1_15_1","volume-title":"ECOOP 2003, workshop on Exception Handling in Object Oriented Systems: Towards Emerging Application Areas and New Programming Paradigms","author":"Marzo G. D.","year":"2003","unstructured":"G. D. Marzo and A. Romanovsky . Using exception handling for fault tolerance in mobile coordination-based environments . In ECOOP 2003, workshop on Exception Handling in Object Oriented Systems: Towards Emerging Application Areas and New Programming Paradigms , Darmstadt, Germany. , 2003 . G. D. Marzo and A. Romanovsky. Using exception handling for fault tolerance in mobile coordination-based environments. In ECOOP 2003, workshop on Exception Handling in Object Oriented Systems: Towards Emerging Application Areas and New Programming Paradigms, Darmstadt, Germany., 2003."},{"key":"e_1_3_2_1_16_1","volume-title":"School of Computing Science","author":"Metayer C.","year":"2005","unstructured":"C. Metayer , J. Abrial , and L. Voisin , editors . Rodin Deliverable D7: Event B language. Project IST-511599 , School of Computing Science , Newcastle University , 2005 . C. Metayer, J. Abrial, and L. Voisin, editors. Rodin Deliverable D7: Event B language. Project IST-511599, School of Computing Science, Newcastle University, 2005."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/850985.855572"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302659"},{"key":"e_1_3_2_1_19_1","first-page":"12","volume-title":"7th International Conference, FASE 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, LNCS 2984","author":"Roman G.-C.","year":"2004","unstructured":"G.-C. Roman , C. Julien , and J. Payton . A Formal Treatment of Context-Awareness. In M. Wermelinger and T. Margaria, editors, Fundamental Approaches to Software Engineering , 7th International Conference, FASE 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, LNCS 2984 , pages 12 -- 36 . Springer , 2004 . G.-C. Roman, C. Julien, and J. Payton. A Formal Treatment of Context-Awareness. In M. Wermelinger and T. Margaria, editors, Fundamental Approaches to Software Engineering, 7th International Conference, FASE 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, LNCS 2984, pages 12--36. Springer, 2004."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"crossref","unstructured":"F.\n      Souchon C.\n      Dony C.\n      Urtado and \n      S.\n      Vauttier\n  . \n  Improving exception handling in multi-agent systems\n  . In C. J. P. de Lucena A. F. Garcia A. B. Romanovsky J. Castro and P. S. C. Alencar editors SELMAS volume \n  2940\n   of \n  Lecture Notes in Computer Science pages \n  167\n  --\n  188\n  . \n  Springer 2003\n  .  F. Souchon C. Dony C. Urtado and S. Vauttier. Improving exception handling in multi-agent systems. In C. J. P. de Lucena A. F. Garcia A. B. Romanovsky J. Castro and P. S. C. Alencar editors SELMAS volume 2940 of Lecture Notes in Computer Science pages 167--188. Springer 2003.","DOI":"10.1007\/978-3-540-24625-1_10"},{"key":"e_1_3_2_1_21_1","series-title":"Lecture Notes in Computer Science","first-page":"128","volume-title":"Advances in Exception Handling Techniques","author":"Tripathi A. R.","year":"2000","unstructured":"A. R. Tripathi and R. Miller . Exception handling in agent-oriented systems . In A. B. Romanovsky, C. Dony, J. L. Knudsen, and A. Tripathi, editors, Advances in Exception Handling Techniques , volume 2022 of Lecture Notes in Computer Science , pages 128 -- 146 . Springer , 2000 . A. R. Tripathi and R. Miller. Exception handling in agent-oriented systems. In A. B. Romanovsky, C. Dony, J. L. Knudsen, and A. Tripathi, editors, Advances in Exception Handling Techniques, volume 2022 of Lecture Notes in Computer Science, pages 128--146. Springer, 2000."},{"key":"e_1_3_2_1_22_1","first-page":"1","volume-title":"First Int. Workshop on Agent-Oriented Software Engineering","author":"Wooldridge M.","year":"2000","unstructured":"M. Wooldridge and P. Ciancarini . Agent-Oriented Software Engineering: The State of the Art . In P. Ciancarini and M. Wooldridge, editors, First Int. Workshop on Agent-Oriented Software Engineering , volume 1957 , pages 1 -- 28 . Springer-Verlag , Berlin , 2000 . M. Wooldridge and P. Ciancarini. Agent-Oriented Software Engineering: The State of the Art. In P. Ciancarini and M. Wooldridge, editors, First Int. Workshop on Agent-Oriented Software Engineering, volume 1957, pages 1--28. Springer-Verlag, Berlin, 2000."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/71.888642"}],"event":{"name":"SERENE '08: RISE\/EFTS Joint International Workshop on Software Engineering for REsilient SystEms","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Newcastle upon Tyne United Kingdom","acronym":"SERENE '08"},"container-title":["Proceedings of the 2008 RISE\/EFTS Joint International Workshop on Software Engineering for Resilient Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1479772.1479779","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1479772.1479779","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T21:41:35Z","timestamp":1750282895000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1479772.1479779"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,11,17]]},"references-count":23,"alternative-id":["10.1145\/1479772.1479779","10.1145\/1479772"],"URL":"https:\/\/doi.org\/10.1145\/1479772.1479779","relation":{},"subject":[],"published":{"date-parts":[[2008,11,17]]},"assertion":[{"value":"2008-11-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}