{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T00:19:22Z","timestamp":1730247562513,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,5]]},"DOI":"10.1109\/icis.2017.8332403","type":"proceedings-article","created":{"date-parts":[[2018,4,9]],"date-time":"2018-04-09T21:05:49Z","timestamp":1523307949000},"page":"1-6","source":"Crossref","is-referenced-by-count":0,"title":["A correct-by-construction approach for proving distributed algorithms in spanning trees"],"prefix":"10.1109","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":"Mohamed","family":"Mosbah","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dominique","family":"Mery","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ahmed Hadj","family":"Kacem","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/AICCSA.2015.7507191"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/WETICE.2016.19"},{"key":"ref12","first-page":"155","article-title":"On models and algorithms for dynamic communication networks: The case for evolving graphs","author":"ferreira","year":"2002","journal-title":"4e rencontres francophones sur les Aspects Algorithmiques des Telecommunications (ALGOTEL2002)"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/NCA.2011.35"},{"key":"ref14","article-title":"Termination detection of local computations","volume":"abs 1001 2785","author":"godard","year":"2010","journal-title":"CoRR"},{"key":"ref15","article-title":"Reactive sheduling of DAG applications on heterogeneous and dynamic distributed computing systems","volume":"13","author":"hern\u00e1ndez","year":"2009","journal-title":"Computaci&#x00F3 n y Sistemas"},{"key":"ref16","article-title":"An efficient -causal distributed algorithm for synchronous cooperative systems in unreliable networks","volume":"14","author":"hern\u00e1ndez","year":"2010","journal-title":"Computaci&#x00F3 n y Sistemas"},{"key":"ref17","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1007\/s10270-010-0183-7","article-title":"Event-b patterns and their tool support","volume":"12","author":"hoang","year":"2013","journal-title":"Software & Systems Modeling"},{"key":"ref18","article-title":"Relabeling Algorithms on Dynamic Graphs","author":"kerchove","year":"2012","journal-title":"University of Le Havre Tech Rep"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/1173706.1173740"},{"key":"ref4","article-title":"Energy-efficient medium access control using distributed hash-based elections","volume":"21","author":"camacho-escoto","year":"2017","journal-title":"Com-putacin y Sistemas"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-14472-6_19"},{"key":"ref6","article-title":"Deterministic algorithms in dynamic networks: Problems, analysis, and algorithmic tools","author":"casteigts","year":"2013","journal-title":"Commissioned by Defense Research and Development Canada Tech Rep"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74107-7_3"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39247-4_9"},{"key":"ref7","first-page":"231","article-title":"Dynamicity aware graph relabeling systems (da-grs), A local computation based model to describe manet algorithms","author":"casteigts","year":"2005","journal-title":"the Conference on PDCS"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/BF00291051"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139195881"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/s11227-013-1019-3"},{"key":"ref20","first-page":"1","article-title":"Handbook of graph grammars and computing by graph transformation","author":"litovsky","year":"1999","journal-title":"World Scientific"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139168724"}],"event":{"name":"2017 IEEE\/ACIS 16th International Conference on Computer and Information Science (ICIS)","start":{"date-parts":[[2017,5,24]]},"location":"Wuhan","end":{"date-parts":[[2017,5,26]]}},"container-title":["2017 IEEE\/ACIS 16th International Conference on Computer and Information Science (ICIS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7951674\/7959951\/08332403.pdf?arnumber=8332403","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,26]],"date-time":"2022-01-26T07:53:23Z","timestamp":1643183603000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8332403\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,5]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/icis.2017.8332403","relation":{},"subject":[],"published":{"date-parts":[[2017,5]]}}}