{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:36:27Z","timestamp":1750221387908,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":6,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,4,9]],"date-time":"2018-04-09T00:00:00Z","timestamp":1523232000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,4,9]]},"DOI":"10.1145\/3167132.3167381","type":"proceedings-article","created":{"date-parts":[[2018,7,3]],"date-time":"2018-07-03T13:54:10Z","timestamp":1530626050000},"page":"419-422","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Modeling and verifying SDN with multiple controllers"],"prefix":"10.1145","author":[{"given":"Lili","family":"Xiao","sequence":"first","affiliation":[{"name":"East China Normal University, Shanghai, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shuangqing","family":"Xiang","sequence":"additional","affiliation":[{"name":"East China Normal University, Shanghai, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Huibiao","family":"Zhuy","sequence":"additional","affiliation":[{"name":"East China Normal University, Shanghai, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,4,9]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"HyperFlow: A Distributed Control Plane for OpenFlow. In 2010 Internet Network Management Workshop \/ Workshop on Research on Enterprise Networking","author":"Ganjali Yashar","year":"2010","unstructured":"Yashar Ganjali and Amin Tootoonchian . 2010 . HyperFlow: A Distributed Control Plane for OpenFlow. In 2010 Internet Network Management Workshop \/ Workshop on Research on Enterprise Networking , San Jose, CA, USA , April, 2010. Yashar Ganjali and Amin Tootoonchian. 2010. HyperFlow: A Distributed Control Plane for OpenFlow. In 2010 Internet Network Management Workshop \/ Workshop on Research on Enterprise Networking, San Jose, CA, USA, April, 2010."},{"volume-title":"2016 18th International Conference on Advanced Communication Technology (ICACT). 1--1.","author":"Ho C. C.","key":"e_1_3_2_1_2_1","unstructured":"C. C. Ho , K. Wang , and Y. H. Hsu . 2016. A fast consensus algorithm for multiple controllers in software-defined networks . In 2016 18th International Conference on Advanced Communication Technology (ICACT). 1--1. C. C. Ho, K. Wang, and Y. H. Hsu. 2016. A fast consensus algorithm for multiple controllers in software-defined networks. In 2016 18th International Conference on Advanced Communication Technology (ICACT). 1--1."},{"volume-title":"Communicating Sequential Processes","author":"Hoare C. A. R.","key":"e_1_3_2_1_3_1","unstructured":"C. A. R. Hoare . 1985. Communicating Sequential Processes . Prentice-Hall . C. A. R. Hoare. 1985. Communicating Sequential Processes. Prentice-Hall."},{"volume-title":"2017 International Conference on Innovations in Electrical Engineering and Computational Technologies (ICIEECT). 1--4.","author":"Waleed S.","key":"e_1_3_2_1_4_1","unstructured":"S. Waleed , M. Faizan , M. Iqbal , and M. I. Anis . 2017. Demonstration of single link failure recovery using Bellman Ford and Dijikstra algorithm in SDN . In 2017 International Conference on Innovations in Electrical Engineering and Computational Technologies (ICIEECT). 1--4. S. Waleed, M. Faizan, M. Iqbal, and M. I. Anis. 2017. Demonstration of single link failure recovery using Bellman Ford and Dijikstra algorithm in SDN. In 2017 International Conference on Innovations in Electrical Engineering and Computational Technologies (ICIEECT). 1--4."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2342441.2342446"},{"key":"e_1_3_2_1_6_1","volume-title":"He Yi Tang, and Jian-Ping Wu","author":"Zhang Chao Kun","year":"2015","unstructured":"Chao Kun Zhang , Cui Yong , He Yi Tang, and Jian-Ping Wu . 2015 . State-of-the-Art Survey on Software-Defined Networking (SDN). Journal of Software ( 2015). Chao Kun Zhang, Cui Yong, He Yi Tang, and Jian-Ping Wu. 2015. State-of-the-Art Survey on Software-Defined Networking (SDN). Journal of Software (2015)."}],"event":{"name":"SAC 2018: Symposium on Applied Computing","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"],"location":"Pau France","acronym":"SAC 2018"},"container-title":["Proceedings of the 33rd Annual ACM Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3167132.3167381","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3167132.3167381","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:27:01Z","timestamp":1750213621000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3167132.3167381"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,4,9]]},"references-count":6,"alternative-id":["10.1145\/3167132.3167381","10.1145\/3167132"],"URL":"https:\/\/doi.org\/10.1145\/3167132.3167381","relation":{},"subject":[],"published":{"date-parts":[[2018,4,9]]},"assertion":[{"value":"2018-04-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}