{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T20:48:14Z","timestamp":1725742094355},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540482659"},{"type":"electronic","value":"9783540482673"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11916246_13","type":"book-chapter","created":{"date-parts":[[2006,11,22]],"date-time":"2006-11-22T03:01:36Z","timestamp":1164164496000},"page":"241-260","source":"Crossref","is-referenced-by-count":12,"title":["Rigorous Development of Fault-Tolerant Agent Systems"],"prefix":"10.1007","author":[{"given":"Linas","family":"Laibinis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elena","family":"Troubitsyna","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexei","family":"Iliasov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Romanovsky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162","volume-title":"The B-Book","author":"J.-R. Abrial","year":"1996","unstructured":"Abrial, J.-R.: The B-Book. Cambridge University Press, Cambridge (1996)"},{"key":"13_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/BFb0053357","volume-title":"B\u201998: Recent Advances in the Development and Use of the B Method","author":"J.-R. Abrial","year":"1998","unstructured":"Abrial, J.-R., Mussat, L.: Introducing Dynamic Constraints in B. In: Bert, D. (ed.) B 1998. LNCS, vol.\u00a01393, p. 83. Springer, Heidelberg (1998)"},{"key":"13_CR3","unstructured":"Abrial, J.-R.: Event Driven Sequential Program Construction (2000), available at: http:\/\/www.matisse.qinetiq.com"},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"Arief, B., Iliasov, A., Romanovsky, A.: On Using the CAMA Framework for Developing Open Mobile Fault Tolerant Agent Systems. University of Newcastle (2006)","DOI":"10.1145\/1138063.1138070"},{"issue":"5","key":"13_CR5","first-page":"46","volume":"19","author":"R.H. Bordini","year":"2004","unstructured":"Bordini, R.H., Fisher, M., Visser, W., Wooldridge, M.: Model checking rational agents. IEEE Intelligent Systems, Special Issue on Dependable Agent Systems\u00a019(5), 46\u201352 (2004)","journal-title":"IEEE Intelligent Systems, Special Issue on Dependable Agent Systems"},{"key":"13_CR6","unstructured":"Clearsy. AtelierB: User and Reference Manuals, available at: http:\/\/www.atelierb.societe.com\/index_uk.html"},{"key":"13_CR7","volume-title":"A Discipline of Programming","author":"E.W. Dijkstra","year":"1976","unstructured":"Dijkstra, E.W.: A Discipline of Programming. Prentice-Hall International, Englewood Cliffs (1976)"},{"issue":"4","key":"13_CR8","doi-asserted-by":"publisher","first-page":"440","DOI":"10.1145\/990010.990013","volume":"12","author":"G.-L. Ferrari","year":"2003","unstructured":"Ferrari, G.-L., Gnesi, S., Montanari, U., Pistore, M.: A model-checking verification environment for mobile processes. ACM Transactions on Software Engineering Methodology\u00a012(4), 440\u2013473 (2003)","journal-title":"ACM Transactions on Software Engineering Methodology"},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"Fisher, M., Ghidini, C.: The ABC of Rational Agent Modelling. In: Proc. of the first international joint conference on autonomous agents and multiagent systems (AAMAS 2002). Bologna, Italy (July 2002)","DOI":"10.1145\/544862.544943"},{"issue":"1","key":"13_CR10","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1145\/2363.2433","volume":"7","author":"D. Gelernter","year":"1985","unstructured":"Gelernter, D.: Generative Communication in Linda. ACM Transactions on Programming Languages and Systems\u00a07(1), 80\u2013112 (1985)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"13_CR11","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1109\/COMPSAC.2005.73","volume-title":"Proc. of the 29th Annual International Computer Software and Applications Conference (COMPSAC 2005)","author":"A. Iliasov","year":"2005","unstructured":"Iliasov, A., Romanovsky, A.: Exception Handling in Coordination-based Mobile Environments. In: Proc. of the 29th Annual International Computer Software and Applications Conference (COMPSAC 2005), pp. 341\u2013350. IEEE Computer Society Press, Los Alamitos (2005)"},{"key":"13_CR12","series-title":"Lecture Notes in Computer Science","volume-title":"ECOOP 2005 - Object-Oriented Programming","author":"A. Iliasov","year":"2005","unstructured":"Iliasov, A., Romanovsky, A.: CAMA: Structured Coordination Space and Exception Propagation Mechanism for Mobile Agents. In: Black, A.P. (ed.) ECOOP 2005. LNCS, vol.\u00a03586, Springer, Heidelberg (2005)"},{"key":"13_CR13","unstructured":"Iliasov, A.: Implementation of Cama Middleware. available online at: http:\/\/sourceforge.net\/projects\/cama [Last accessed: November 14, 2005]"},{"key":"13_CR14","doi-asserted-by":"crossref","unstructured":"Iliasov, A., Laibinis, L., Romanovsky, A., Troubitsyna, E.: Rigorous Development of Fault Tolerant Agent Systems. TUCS Technical Report No.762 (March 2006)","DOI":"10.1007\/11916246_13"},{"key":"13_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1007\/11916246_9","volume-title":"Rigorous Development of Complex Fault-Tolerant Systems","author":"A. Iliasov","year":"2006","unstructured":"Iliasov, A., Khomenko, V., Koutny, M., Romanovsky, A.: On Specification and Verification of Location-based Fault Tolerant Mobile Systems. In: Butler, M., Jones, C.B., Romanovsky, A., Troubitsyna, E. (eds.) Rigorous Development of Complex Fault-Tolerant Systems. LNCS, vol.\u00a04157, pp. 168\u2013188. Springer, Heidelberg (2006)"},{"issue":"5","key":"13_CR16","first-page":"32","volume":"19","author":"M.R. Lyu","year":"2004","unstructured":"Lyu, M.R., Chen, X., Wong, T.-Y.: Design and Evaluation of a Fault Tolerant Mobile Agent System. IEEE Intelligent Systems, Special Issue on Dependable Agent Systems\u00a019(5), 32\u201338 (2004)","journal-title":"IEEE Intelligent Systems, Special Issue on Dependable Agent Systems"},{"key":"13_CR17","unstructured":"Rigorous Open Development Environment for Complex Systems, IST FP6 STREP project, online at: http:\/\/rodin.cs.ncl.ac.uk\/"},{"key":"13_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1007\/978-3-540-24721-0_2","volume-title":"Fundamental Approaches to Software Engineering","author":"G.-C. Roman","year":"2004","unstructured":"Roman, G.-C., Julien, C., Payton, J.: A Formal Treatment of Context-Awareness. In: Wermelinger, M., Margaria-Steffen, T. (eds.) FASE 2004. LNCS, vol.\u00a02984, pp. 12\u201336. Springer, Heidelberg (2004)"},{"key":"13_CR19","doi-asserted-by":"crossref","unstructured":"Roman, G.-C., McCann, P., Plun, J.: Mobile UNITY: Reasoning and Specification in Mobile Computing. In: ACM Transactions of Software Engineering and Methodology (July 1997)","DOI":"10.1145\/258077.258079"},{"key":"13_CR20","unstructured":"Schneider, S.: The B Method. An Introduction, Palgrave (2001)"}],"container-title":["Lecture Notes in Computer Science","Rigorous Development of Complex Fault-Tolerant Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11916246_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T03:42:14Z","timestamp":1619494934000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11916246_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540482659","9783540482673"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/11916246_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}