{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:57:26Z","timestamp":1762459046562},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642357428"},{"type":"electronic","value":"9783642357435"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-35743-5_17","type":"book-chapter","created":{"date-parts":[[2012,12,14]],"date-time":"2012-12-14T01:40:42Z","timestamp":1355449242000},"page":"278-295","source":"Crossref","is-referenced-by-count":4,"title":["Verifying Safety of Fault-Tolerant Distributed Components"],"prefix":"10.1007","author":[{"given":"Rab\u00e9a","family":"Ameur-Boulifa","sequence":"first","affiliation":[]},{"given":"Raluca","family":"Halalai","sequence":"additional","affiliation":[]},{"given":"Ludovic","family":"Henrio","sequence":"additional","affiliation":[]},{"given":"Eric","family":"Madelaine","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1-2","key":"17_CR1","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/s12243-008-0069-7","volume":"64","author":"T. Barros","year":"2009","unstructured":"Barros, T., Ameur-Boulifa, R., Cansado, A., Henrio, L., Madelaine, E.: Behavioural models for distributed Fractal components. Annals of T\u00e9l\u00e9communications\u00a064(1-2), 25\u201343 (2009)","journal-title":"Annals of T\u00e9l\u00e9communications"},{"key":"17_CR2","doi-asserted-by":"crossref","unstructured":"Baude, F., Caromel, D., Dalmasso, C., Danelutto, M., Getov, V., Henrio, L., P\u00e9rez, C.: GCM: a grid extension to Fractal for autonomous distributed components. Annals of T\u00e9l\u00e9communications (2009)","DOI":"10.1007\/s12243-008-0068-8"},{"key":"17_CR3","unstructured":"Beisiegel, M., Blohm, H., Booz, D., Edwards, M., Hurley, O.: SCA service component architecture, assembly model specification. Technical report (March 2007)"},{"key":"17_CR4","doi-asserted-by":"crossref","unstructured":"Bensalem, S., Bozga, M., Nguyen, T.-H., Sifakis, J.: Compositional verification for component-based systems and application. IET Software\u00a04(3) (2010)","DOI":"10.1049\/iet-sen.2009.0011"},{"key":"17_CR5","unstructured":"Berthomieu, B., Bodeveix, J.P., Filali, M., Garavel, H., Lang, F., Peres, F., Saad, R., Stoecker, J., Vernadat, F.: The syntax and semantics of Fiacre. In: Rapport LAAS #07264 Rapport de Contrat Projet OpenEmbeDD (Mai 2007)"},{"key":"17_CR6","doi-asserted-by":"crossref","unstructured":"Ameur Boulifa, R., Halalai, R., Henrio, L., Madelaine, E.: Verifying safety of fault-tolerant distributed components (extended version). Research Report RR-7717, INRIA (August 2011)","DOI":"10.1007\/978-3-642-35743-5_17"},{"key":"17_CR7","doi-asserted-by":"crossref","unstructured":"Ameur Boulifa, R., Henrio, L., Madelaine, E.: Behavioural models for group communications. In: WCSI 2010: International Workshop on Component and Service Interoperability, Malaga, Spain (2010)","DOI":"10.4204\/EPTCS.37.4"},{"key":"17_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"180","DOI":"10.1007\/978-3-642-04167-9_10","volume-title":"Formal Methods for Components and Objects","author":"A. Cansado","year":"2009","unstructured":"Cansado, A., Madelaine, E.: Specification and Verification for Grid Component-Based Applications: From Models to Tools. In: de Boer, F.S., Bonsangue, M.M., Madelaine, E. (eds.) FMCO 2008. LNCS, vol.\u00a05751, pp. 180\u2013203. Springer, Heidelberg (2009)"},{"key":"17_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1007\/BFb0015023","volume-title":"CONCUR \u201994: Concurrency Theory","author":"R. Cleaveland","year":"1994","unstructured":"Cleaveland, R., Riely, J.: Testing-Based Abstractions for Value-Passing Systems. In: Jonsson, B., Parrow, J. (eds.) CONCUR 1994. LNCS, vol.\u00a0836, pp. 417\u2013432. Springer, Heidelberg (1994)"},{"issue":"1","key":"17_CR10","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1109\/JPROC.2002.805829","volume":"91","author":"J. Eker","year":"2003","unstructured":"Eker, J., Janneck, J., Lee, E.A., Liu, J., Liu, X., Ludvig, J., Sachs, S., Xiong, Y.: Taming heterogeneity - the ptolemy approach. Proceedings of the IEEE\u00a091(1), 127\u2013144 (2003)","journal-title":"Proceedings of the IEEE"},{"key":"17_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"372","DOI":"10.1007\/978-3-642-19835-9_33","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"H. Garavel","year":"2011","unstructured":"Garavel, H., Lang, F., Mateescu, R., Serwe, W.: CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes. In: Abdulla, P.A., Leino, K.R.M. (eds.) TACAS 2011. LNCS, vol.\u00a06605, pp. 372\u2013387. Springer, Heidelberg (2011)"},{"key":"17_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"445","DOI":"10.1007\/11691372_30","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"H. Garavel","year":"2006","unstructured":"Garavel, H., Mateescu, R., Bergamini, D., Curic, A., Descoubes, N., Joubert, C., Smarandache-Sturm, I., Stragier, G.: DISTRIBUTOR and BCG_MERGE: Tools for Distributed Explicit State Space Generation. In: Hermanns, H., Palsberg, J. (eds.) TACAS 2006. LNCS, vol.\u00a03920, pp. 445\u2013449. Springer, Heidelberg (2006)"},{"key":"17_CR13","unstructured":"Grabe, I., Steffen, M., Torjusen, A.B.: Executable Interface Specifications for Testing Asynchronous Creol Components. Research Report 375. University of Oslo, Dept. of Computer Science (July 2008)"},{"key":"17_CR14","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1145\/1755913.1755950","volume-title":"Proceedings of the 5th European Conference on Computer Systems, EuroSys 2010","author":"R. Guerraoui","year":"2010","unstructured":"Guerraoui, R., Kne\u017eevi\u0107, N., Qu\u00e9ma, V., Vukoli\u0107, M.: The next 700 BFT protocols. In: Proceedings of the 5th European Conference on Computer Systems, EuroSys 2010, pp. 363\u2013376. ACM, New York (2010)"},{"key":"17_CR15","doi-asserted-by":"crossref","unstructured":"Harel, D.: Statecharts: A visual formalism for complex systems (1987)","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"17_CR16","doi-asserted-by":"crossref","unstructured":"Hatcliff, J., Deng, W., Dwyer, M.B., Jung, G., Ranganath, V.: Cadena: An integrated development, analysis, and verification environment for component-based systems. In: Proc. of the 25th Int. Conf. on Software Engineering (2003)","DOI":"10.1109\/ICSE.2003.1201197"},{"key":"17_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/978-3-642-04167-9_9","volume-title":"Formal Methods for Components and Objects","author":"L. Henrio","year":"2009","unstructured":"Henrio, L., Kamm\u00fcller, F., Rivera, M.: An Asynchronous Distributed Component Model and its Semantics. In: de Boer, F.S., Bonsangue, M.M., Madelaine, E. (eds.) FMCO 2008. LNCS, vol.\u00a05751, pp. 159\u2013179. Springer, Heidelberg (2009)"},{"key":"17_CR18","unstructured":"Henrio, L., Madelaine, E.: Experiments with distributed model-checking of group-based applications. In: Sophia-Antipolis Formal Analysis Workshop, France Sophia-Antipolis, p. 3 (October 2010)"},{"issue":"1-2","key":"17_CR19","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/j.tcs.2006.07.031","volume":"365","author":"E.B. Johnsen","year":"2006","unstructured":"Johnsen, E.B., Owe, O., Yu, I.C.: Creol: a types-safe object-oriented model for distributed concurrent systems. Journal of Theoretical Computer Science\u00a0365(1-2), 23\u201366 (2006)","journal-title":"Journal of Theoretical Computer Science"},{"issue":"7","key":"17_CR20","doi-asserted-by":"publisher","first-page":"615","DOI":"10.1016\/j.scico.2009.12.008","volume":"75","author":"G. Jung","year":"2010","unstructured":"Jung, G., Hatcliff, J.: A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architectures. Science of Computer Programming\u00a075(7), 615\u2013637 (2010)","journal-title":"Science of Computer Programming"},{"key":"17_CR21","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1145\/1294261.1294267","volume-title":"Proceedings of Twenty-First ACM SIGOPS Symposium on Operating Systems Principles, SOSP 2007","author":"R. Kotla","year":"2007","unstructured":"Kotla, R., Alvisi, L., Dahlin, M., Clement, A., Wong, E.: Zyzzyva: speculative byzantine fault tolerance. In: Proceedings of Twenty-First ACM SIGOPS Symposium on Operating Systems Principles, SOSP 2007, pp. 45\u201358. ACM, New York (2007)"},{"key":"17_CR22","doi-asserted-by":"publisher","first-page":"382","DOI":"10.1145\/357172.357176","volume":"4","author":"L. Lamport","year":"1982","unstructured":"Lamport, L., Shostak, R., Pease, M.: The byzantine generals problem. ACM Trans. Program. Lang. Syst.\u00a04, 382\u2013401 (1982)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"17_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/978-3-540-68237-0_12","volume-title":"FM 2008: Formal Methods","author":"R. Mateescu","year":"2008","unstructured":"Mateescu, R., Thivolle, D.: A Model Checking Language for Concurrent Value-Passing Systems. In: Sere, K., Cuellar, J., Maibaum, T.S.E. (eds.) FM 2008. LNCS, vol.\u00a05014, pp. 148\u2013164. Springer, Heidelberg (2008)"},{"issue":"3","key":"17_CR24","doi-asserted-by":"publisher","first-page":"210","DOI":"10.1049\/iet-sen.2009.0016","volume":"4","author":"P. Parizek","year":"2010","unstructured":"Parizek, P., Plasil, F.: Assume-guarantee verification of software components in sofa 2 framework. IET Software\u00a04(3), 210\u2013211 (2010)","journal-title":"IET Software"},{"key":"17_CR25","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1007\/BF00265555","volume":"19","author":"J.-P. Queille","year":"1983","unstructured":"Queille, J.-P., Sifakis, J.: Fairness and Related Properties in Transition Systems \u2014 A Temporal Logic to Deal with Fairness. Acta Informatica\u00a019, 195\u2013220 (1983)","journal-title":"Acta Informatica"},{"key":"17_CR26","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1145\/98163.98167","volume":"22","author":"F.B. Schneider","year":"1990","unstructured":"Schneider, F.B.: Implementing fault-tolerant services using the state machine approach: a tutorial. ACM Comput. Surv.\u00a022, 299\u2013319 (1990)","journal-title":"ACM Comput. Surv."}],"container-title":["Lecture Notes in Computer Science","Formal Aspects of Component Software"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-35743-5_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T01:37:02Z","timestamp":1558316222000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-35743-5_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642357428","9783642357435"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-35743-5_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}