{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:50:38Z","timestamp":1725490238153},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540747413"},{"type":"electronic","value":"9783540747420"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-74742-0_20","type":"book-chapter","created":{"date-parts":[[2007,8,21]],"date-time":"2007-08-21T11:03:30Z","timestamp":1187694210000},"page":"195-207","source":"Crossref","is-referenced-by-count":1,"title":["Distributed Local 2-Connectivity Test of Graphs and Applications"],"prefix":"10.1007","author":[{"given":"Brahim","family":"Hamid","sequence":"first","affiliation":[]},{"given":"Bertrand","family":"Le Sa\u00ebc","sequence":"additional","affiliation":[]},{"given":"Mohamed","family":"Mosbah","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"20_CR1","volume-title":"Distributed computing, fundamentals, simulations and advanced topics","author":"H. Attiya","year":"1998","unstructured":"Attiya, H., Welch, J.: Distributed computing, fundamentals, simulations and advanced topics. McGraw-hill international (UK) limited, New York (1998)"},{"key":"20_CR2","first-page":"392","volume-title":"ICCCN 2002","author":"M. Bahramgiri","year":"2002","unstructured":"Bahramgiri, M., Hajiaghayi, M.T., Mirrokni, V.S.: Fault-tolerant and 3-dimensional distributed topology control algorithms in wireless multi-hop networks. In: ICCCN 2002. IEEE Int. Conf. on Computer Communications and Networks, pp. 392\u2013397. IEEE Computer Society Press, Los Alamitos (2002)"},{"issue":"4","key":"20_CR3","doi-asserted-by":"publisher","first-page":"517","DOI":"10.1016\/j.jda.2004.04.009","volume":"2","author":"W. Chen","year":"2004","unstructured":"Chen, W., Wada, K.: Optimal fault-tolerant routings with small routing tables for k-connected graphs. J. Discrete Algorithms\u00a02(4), 517\u2013530 (2004)","journal-title":"J. Discrete Algorithms"},{"key":"20_CR4","doi-asserted-by":"crossref","unstructured":"Esfahanian, A.H., Hakimi, S.L.: On computing the connectivities of graphs and digraphs. Networks, 355\u2013366 (1984)","DOI":"10.1002\/net.3230140211"},{"issue":"4","key":"20_CR5","doi-asserted-by":"publisher","first-page":"507","DOI":"10.1137\/0204043","volume":"4","author":"S. Even","year":"1975","unstructured":"Even, S., Tarjan, R.E.: Network flow and testing graph connectivity. SIAM Journal on Computing\u00a04(4), 507\u2013518 (1975)","journal-title":"SIAM Journal on Computing"},{"key":"20_CR6","doi-asserted-by":"crossref","unstructured":"Gabow, H.N.: Using expander graphs to find vertex connectivity. In: 41st Annual Symposium on Foundations of Computer Science, pp. 410\u2013420 (2000)","DOI":"10.1109\/SFCS.2000.892129"},{"issue":"2","key":"20_CR7","doi-asserted-by":"publisher","first-page":"222","DOI":"10.1006\/jagm.1999.1055","volume":"34","author":"M.R. Henzinger","year":"2000","unstructured":"Henzinger, M.R., Rao, S., Gabow, H.N.: Computing vertex connectivity: new bounds from old techniques. J. Algorithms\u00a034(2), 222\u2013250 (2000)","journal-title":"J. Algorithms"},{"key":"20_CR8","first-page":"1","volume-title":"Handbook of graph grammars and computing by graph transformation","author":"I. Litovsky","year":"1999","unstructured":"Litovsky, I., M\u00e9tivier, Y., Sopena, E.: Graph relabeling systems and distributed algorithms. In: Ehrig, H., Kreowski, H.J., Montanari, U., Rozenberg, G. (eds.) Handbook of graph grammars and computing by graph transformation, vol.\u00a0III, pp. 1\u201356. World\u00a0Scientific Publishing, Singapore (1999)"},{"key":"20_CR9","unstructured":"M\u00e9tivier, Y., Mosbah, M., Sellami, A.: Proving distributed algorithms by graph relabeling systems: Example of tree in networks with processor identities. In: Applied Graph Transformations (AGT 2002), Grenoble (2002)"},{"key":"20_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/BFb0030679","volume-title":"Distributed Algorithms","author":"R. Prisco De","year":"1997","unstructured":"De Prisco, R., Lampson, B., Lynch, N.: Revisiting the paxos algorithm. In: Mavronicolas, M. (ed.) WDAG 1997. LNCS, vol.\u00a01320, pp. 111\u2013125. Springer, Heidelberg (1997)"},{"key":"20_CR11","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1137\/0201010","volume":"1","author":"R.E. Tarjan","year":"1972","unstructured":"Tarjan, R.E.: Depth-first search and linear graph algorithms. SIAM Journal on Computing\u00a01, 146\u2013160 (1972)","journal-title":"SIAM Journal on Computing"},{"key":"20_CR12","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139168724","volume-title":"Introduction to distributed algorithms","author":"G. Tel","year":"2000","unstructured":"Tel, G.: Introduction to distributed algorithms, 2nd edn. Cambridge University Press, Cambridge (2000)","edition":"2"},{"key":"20_CR13","volume-title":"Introduction to graph theory","author":"D. West","year":"2001","unstructured":"West, D.: Introduction to graph theory, 2nd edn. Prentice-Hall, Englewood Cliffs (2001)","edition":"2"}],"container-title":["Lecture Notes in Computer Science","Parallel and Distributed Processing and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74742-0_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,24]],"date-time":"2019-01-24T19:23:07Z","timestamp":1548357787000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74742-0_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540747413","9783540747420"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74742-0_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}