{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,6]],"date-time":"2026-03-06T22:32:59Z","timestamp":1772836379450,"version":"3.50.1"},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319235080","type":"print"},{"value":"9783319235097","type":"electronic"}],"license":[{"start":{"date-parts":[[2015,10,15]],"date-time":"2015-10-15T00:00:00Z","timestamp":1444867200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,10,15]],"date-time":"2015-10-15T00:00:00Z","timestamp":1444867200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-23509-7_16","type":"book-chapter","created":{"date-parts":[[2015,10,15]],"date-time":"2015-10-15T10:03:34Z","timestamp":1444903414000},"page":"227-243","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Towards a Formal Model for Dynamic Networks Through Refinement and Evolving Graphs"],"prefix":"10.1007","author":[{"given":"Faten","family":"Fakhfakh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohamed","family":"Tounsi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ahmed Hadj","family":"Kacem","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohamed","family":"Mosbah","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,10,15]]},"reference":[{"key":"16_CR1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139195881","volume-title":"Modeling in Event-B\u2013System and Software Engineering","author":"J Abrial","year":"2010","unstructured":"Abrial, J.: Modeling in Event-B\u2013System and Software Engineering. Cambridge University Press, Cambridge (2010)"},{"issue":"6","key":"16_CR2","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1007\/s10009-010-0145-y","volume":"12","author":"JR Abrial","year":"2010","unstructured":"Abrial, J.R., Butler, M., Hallerstede, S., Hoang, T., Mehta, F., Voisin, L.: Rodin: an open toolset for modelling and reasoning in event-b. Int. J. Softw. Tools Technol. Transf. 12(6), 447\u2013466 (2010)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"16_CR3","doi-asserted-by":"publisher","first-page":"593","DOI":"10.1007\/BF00291051","volume":"25","author":"RJR Back","year":"1988","unstructured":"Back, R.J.R.: A calculus of refinements for program derivations. Acta Informatica 25, 593\u2013624 (1988)","journal-title":"Acta Informatica"},{"key":"16_CR4","first-page":"277","volume-title":"Lecture Notes in Computer Science","author":"Matthieu Barjon","year":"2014","unstructured":"Barjon, M., Casteigts, A., Chaumette, S., Johnen, C., Neggaz, Y.M.: Maintaining a spanning forest in highly dynamic networks: the synchronous case. In: Proceedings of the Principles of Distributed Systems\u201318th International Conference, OPODIS 2014, Cortina d\u2019Ampezzo, Italy, 16-19 December 2014, pp. 277-292 (2014)"},{"key":"16_CR5","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1142\/S0129054103001728","volume":"14","author":"BM Bui-Xuan","year":"2003","unstructured":"Bui-Xuan, B.M., Ferreira, A., Jarry, A.: Computing shortest, fastest, and foremost journeys in dynamic networks. Int. J. Found. Comput. Sci. 14, 267\u2013285 (2003)","journal-title":"Int. J. Found. Comput. Sci."},{"key":"16_CR6","unstructured":"Casteigts, A.: Contribution \u00e0 l\u2019algorithmique distribu\u00e9 dans les r\u00e9seaux mobiles ad hoc. Ph.D. thesis, Universit\u00e9 Sciences et Technologies\u2013Bordeaux I (2007)"},{"key":"16_CR7","unstructured":"Casteigts, A., Chaumette, S., Ferreira, A.: Distributed Computing in Dynamic Networks: Towards a Framework for Automated Analysis of Algorithms. CoRR, abs\/1102.5529 (2012)"},{"issue":"5","key":"16_CR8","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1109\/MNET.2004.1337732","volume":"18","author":"A Ferreira","year":"2004","unstructured":"Ferreira, A.: Building a reference combinatorial model for MANETs. IEEE Network 18(5), 24\u201329 (2004)","journal-title":"IEEE Network"},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"Floriano, P., Goldman, A., Arantes, L.: Formalization of the necessary and sufficient connectivity conditions to the distributed mutual exclusion problem in dynamic networks. In: Proceedings of the 2011 IEEE 10th International Symposium on Network Computing and Applications, NCA\u201911, pp. 203-210. IEEE Computer Society, Washington (2011)","DOI":"10.1109\/NCA.2011.35"},{"key":"16_CR10","unstructured":"Kerchove, F.M.D.: Relabeling Algorithms on Dynamic Graphs. Technical report, University of Le Havre (2012)"},{"key":"16_CR11","doi-asserted-by":"crossref","unstructured":"Leavens, G.T., Abrial, J.R., Batory, D., Butler, M., Coglio, A., Fisler, K., Hehner, E., Jones, C., Miller, D., Peyton-Jones, S., Sitaraman, M., Smith, D.R., Stump, A.: Roadmap for enhanced languages and methods to aid verification. In: Proceedings of the 5th International Conference on Generative Programming and Component Engineering, GPCE\u201906, pp. 221-236. ACM, New York (2006)","DOI":"10.1145\/1173706.1173740"},{"key":"16_CR12","first-page":"1","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation","author":"IGOR LITOVSKY","year":"1999","unstructured":"Litovsky, I., M\u00e9tivier, Y., Sopena, E.: Handbook of graph grammars and computing by graph transformation. In: Graph Relabelling Systems and Distributed Algorithms, pp. 1-56. World Scientific Publishing Co., Inc., River Edge (1999)"},{"key":"16_CR13","first-page":"3","volume-title":"Handbook of Mobile Ad Hoc Networks for Mobility Models","author":"Radhika Ranjan Roy","year":"2010","unstructured":"Roy, R.: Mobile ad hoc networks. In: Handbook of Mobile Ad Hoc Networks for Mobility Models, pp. 3-22. Springer, New York (2011)"},{"key":"16_CR14","volume-title":"Introduction to Distributed Algorithms","author":"G Tel","year":"2001","unstructured":"Tel, G.: Introduction to Distributed Algorithms, 2nd edn. Cambridge University Press, New York (2001)","edition":"2"}],"container-title":["Studies in Computational Intelligence","Software Engineering, Artificial Intelligence, Networking and Parallel\/Distributed Computing 2015"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-23509-7_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,21]],"date-time":"2023-02-21T12:15:49Z","timestamp":1676981749000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-23509-7_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,10,15]]},"ISBN":["9783319235080","9783319235097"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-23509-7_16","relation":{},"ISSN":["1860-949X","1860-9503"],"issn-type":[{"value":"1860-949X","type":"print"},{"value":"1860-9503","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,10,15]]},"assertion":[{"value":"15 October 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}