{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T03:27:33Z","timestamp":1729654053736,"version":"3.28.0"},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,11]]},"DOI":"10.1109\/aiccsa.2015.7507191","type":"proceedings-article","created":{"date-parts":[[2016,8,12]],"date-time":"2016-08-12T00:26:39Z","timestamp":1470961599000},"page":"1-4","source":"Crossref","is-referenced-by-count":3,"title":["A formal pattern for dynamic networks through evolving graphs"],"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":"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":"263","reference":[{"key":"ref10","first-page":"39","article-title":"Tasks, types and tactics for local computation systems","volume":"9","author":"cast\u00e9ran","year":"2011","journal-title":"Studia Informatica Universalis"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.ipl.2014.11.001"},{"key":"ref12","article-title":"Towards a formal model for dynamic networks through refinement and evolving graphs","author":"fakhfakh","year":"2015","journal-title":"Proceedings of the 16th International Conference on Software Engineering Artificial Intelligence Networking and Paral-lel\/Distributed Computing (SNPD)"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/MNET.2004.1337732"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/WETICE.2013.67"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/NCA.2011.35"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-010-0183-7"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00255-7_1"},{"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","doi-asserted-by":"publisher","DOI":"10.1007\/BF00291051"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1155\/2014\/140973"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/WETICE.2014.59"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-14472-6_19"},{"key":"ref8","first-page":"126","article-title":"Characterizing topological assumptions of distributed algorithms in dynamic networks","author":"casteigts","year":"2009","journal-title":"the 16th international conference on Structural Information and Communication Complexity (SIROCCO)"},{"article-title":"Contribution à l'algorithmique distribué dans les réseaux mobiles ad hoc","year":"2007","author":"casteigts","key":"ref7"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1007\/s10009-010-0145-y","article-title":"Rodin: an open toolset for modelling and reasoning in event-b","volume":"12","author":"abrial","year":"2010","journal-title":"International Journal on Software Tools for Technology Transfer (STTT)"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139195881"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39247-4_9"},{"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":"ref22","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139168724"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-6050-4_1"},{"key":"ref23","article-title":"Proving Distributed Algorithms by Combining Refinement and Local Computations","volume":"35","author":"tounsi","year":"2010","journal-title":"Electronic Communication of the European Association of Software Science and Technology"}],"event":{"name":"2015 IEEE\/ACS 12th International Conference of Computer Systems and Applications (AICCSA)","start":{"date-parts":[[2015,11,17]]},"location":"Marrakech, Morocco","end":{"date-parts":[[2015,11,20]]}},"container-title":["2015 IEEE\/ACS 12th International Conference of Computer Systems and Applications (AICCSA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7502233\/7507087\/07507191.pdf?arnumber=7507191","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T20:32:55Z","timestamp":1498336375000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7507191\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,11]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/aiccsa.2015.7507191","relation":{},"subject":[],"published":{"date-parts":[[2015,11]]}}}