{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T01:15:40Z","timestamp":1725498940113},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540774433"},{"type":"electronic","value":"9783540774440"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"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":[[2007]]},"DOI":"10.1007\/978-3-540-77444-0_28","type":"book-chapter","created":{"date-parts":[[2007,12,19]],"date-time":"2007-12-19T03:57:09Z","timestamp":1198036629000},"page":"286-291","source":"Crossref","is-referenced-by-count":3,"title":["Proving Distributed Algorithms for Mobile Agents: Examples of Spanning Tree Computation in Anonymous Networks"],"prefix":"10.1007","author":[{"given":"M. A.","family":"Haddar","sequence":"first","affiliation":[]},{"given":"A. Hadj","family":"Kacem","sequence":"additional","affiliation":[]},{"given":"Y.","family":"M\u00e9tivier","sequence":"additional","affiliation":[]},{"given":"M.","family":"Mosbah","sequence":"additional","affiliation":[]},{"given":"M.","family":"Jmaiel","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"28_CR1","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.: Handbook of graph grammars and computing by graph transformation, vol. 3, pp. 1\u201356. World Scientific, Singapore (1999)"},{"key":"28_CR2","unstructured":"Shiao, D.: Mobile agents: A new model of intelligent distributed computing. Technical report, IBM DeveloperWorks, China (2004)"},{"key":"28_CR3","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1145\/800141.804655","volume-title":"STOC 1980: Proceedings of the twelfth annual ACM symposium on Theory of computing","author":"D. Angluin","year":"1980","unstructured":"Angluin, D.: Local and global properties in networks of processors (extended abstract). In: STOC 1980: Proceedings of the twelfth annual ACM symposium on Theory of computing, pp. 82\u201393. ACM Press, New York (1980)"},{"key":"28_CR4","doi-asserted-by":"crossref","unstructured":"Derbel, B., Mosbah, M.: Distributed graph traversals by relabeling systems with applications. In: Workshop on Graph Transformation for Verification and Concurrency, San Francisco, California, USA. ENTCS, pp. 79\u201394 ( August 2005)","DOI":"10.1016\/j.entcs.2005.03.034"},{"key":"28_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"90","DOI":"10.1007\/978-3-540-24727-2_8","volume-title":"Foundations of Software Science and Computation Structures","author":"J. Chalopin","year":"2004","unstructured":"Chalopin, J., M\u00e9tivier, Y.: Election and local computations on edges. In: Walukiewicz, I. (ed.) FOSSACS 2004. LNCS, vol.\u00a02987, pp. 90\u2013104. Springer, Heidelberg (2004)"},{"key":"28_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/11945529_14","volume-title":"Principles of Distributed Systems","author":"J. Chalopin","year":"2006","unstructured":"Chalopin, J., Godard, E., M\u00e9tivier, Y., Ossamy, R.B.: Mobile agent algorithms versus message passing algorithms. In: Shvartsman, A.A. (ed.) OPODIS 2006. LNCS, vol.\u00a04305, pp. 187\u2013201. Springer, Heidelberg (2006)"},{"key":"28_CR7","unstructured":"Haddar, M.A., Kacem, A.H., Mosbah, M., M\u00e9tivier, Y., Jmaiel, M.: Distributed algorithms for mobile agents. Technical Report RR-1435-07, Universit\u00e9 Bordeaux1 (2007)"},{"key":"28_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"242","DOI":"10.1007\/978-3-540-30203-2_18","volume-title":"Graph Transformations","author":"J. Chalopin","year":"2004","unstructured":"Chalopin, J., M\u00e9tivier, Y., Zielonka, W.: Election, naming and cellular edge local computations. In: Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds.) ICGT 2004. LNCS, vol.\u00a03256, pp. 242\u2013256. Springer, Heidelberg (2004)"},{"key":"28_CR9","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1145\/323596.323623","volume-title":"PODC 1985: Proceedings of the fourth annual ACM symposium on Principles of distributed computing","author":"B.K. Szymanski","year":"1985","unstructured":"Szymanski, B.K., Shi, Y., Prywes, N.S.: Terminating iterative solution of simultaneous equations in distributed message passing systems. In: PODC 1985: Proceedings of the fourth annual ACM symposium on Principles of distributed computing, pp. 287\u2013292. ACM Press, New York (1985)"},{"issue":"3","key":"28_CR10","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1016\/S1571-0661(04)00174-4","volume":"50","author":"M. Bauderon","year":"2001","unstructured":"Bauderon, M., Gruner, S., Metivier, Y., Mosbah, M., Sellami, A.: Visualization of distributed algorithms based on graph relabelling systems. ENTCS 50(3), 227\u2013237 (2001)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"28_CR11","doi-asserted-by":"crossref","DOI":"10.1002\/0470072644","volume-title":"Design and Analysis of Distributed Algorithms (Wiley Series on Parallel and Distributed Computing)","author":"N. Santoro","year":"2006","unstructured":"Santoro, N.: Design and Analysis of Distributed Algorithms (Wiley Series on Parallel and Distributed Computing). Wiley-Interscience, Chichester (2006)"}],"container-title":["Lecture Notes in Computer Science","Distributed Computing and Networking"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-77444-0_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T11:10:01Z","timestamp":1558264201000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-77444-0_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540774433","9783540774440"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-77444-0_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}