{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T00:02:38Z","timestamp":1746316958179,"version":"3.37.3"},"reference-count":46,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"6","license":[{"start":{"date-parts":[[2016,6,1]],"date-time":"2016-06-01T00:00:00Z","timestamp":1464739200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"DOI":"10.13039\/100006754","name":"Army Research Laboratory","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100006754","id-type":"DOI","asserted-by":"publisher"}]},{"name":"United Kingdom Ministry of Defence","award":["W911NF-06-3-0001"],"award-info":[{"award-number":["W911NF-06-3-0001"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Knowl. Data Eng."],"published-print":{"date-parts":[[2016,6,1]]},"DOI":"10.1109\/tkde.2016.2515604","type":"journal-article","created":{"date-parts":[[2016,1,7]],"date-time":"2016-01-07T19:08:53Z","timestamp":1452193733000},"page":"1489-1502","source":"Crossref","is-referenced-by-count":4,"title":["Declarative Framework for Specification, Simulation and Analysis of Distributed Applications"],"prefix":"10.1109","volume":"28","author":[{"given":"Jiefei","family":"Ma","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Franck","family":"Le","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandra","family":"Russo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jorge","family":"Lobo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Graphs Dioids and Semirings New Models and Algorithms","year":"2008","author":"gondran","key":"ref39"},{"journal-title":"Graphs and Algorithms","year":"1984","author":"gondran","key":"ref38"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/MELCON.2004.1348275"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/581771.581775"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/IDAACS.2011.6072863"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-30743-0_31"},{"journal-title":"Graphs and Networks","year":"1979","author":"carre","key":"ref37"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/863955.863963"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2002.801397"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/581771.581775"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-20832-4_18"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/1080091.1080094"},{"journal-title":"Principles of Database and Knowledge-Base Systems Volumes I and II","year":"1989","author":"ullman","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(94)90024-8"},{"key":"ref13","first-page":"224","article-title":"Distributed state machines: A declarative framework for the management of distributed systems","author":"lobo","year":"0","journal-title":"Proc 8th Int Conf Workshop Syst Virtualiztion Manage Netw Serv Manage"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"ref15","first-page":"105","article-title":"Potassco: The Potsdam answer set solving collection","volume":"24","author":"gebser","year":"2011","journal-title":"AICOM"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/2043174.2043195"},{"key":"ref17","article-title":"Clingo = ASP + control: Preliminary report","volume":"arxiv 1405 3694v1","author":"gebser","year":"0","journal-title":"Proc Tech Commun 29th Int Conf Logic Programm"},{"journal-title":"Distributed Algorithms","year":"1996","author":"lynch","key":"ref18"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/75247.75252"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21461-5_22"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24206-9_16"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(92)90182-F"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/1592761.1592785"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068413000513"},{"article-title":"The design and implementation of declarative networks","year":"2006","author":"loo","key":"ref29"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/1095809.1095818"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-92995-6_5"},{"key":"ref7","article-title":"Formally verifiable networking","author":"wang","year":"2009","journal-title":"Proc 8th ACM Workshop Hot Topics Netw"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/1142473.1142485"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/90.993304"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/1592761.1592785"},{"key":"ref46","article-title":"Named data networking (NDN) project","author":"zhang","year":"0","journal-title":"Relatório Técnico NDN-0001 Xerox Palo Alto Research Center-PARC"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/316194.316231"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1145\/1355734.1355746"},{"journal-title":"Model checking","year":"1999","author":"clarke","key":"ref22"},{"key":"ref21","first-page":"10","article-title":"Design and performance study of a topology-hiding multipath routing protocol for mobile ad hoc networks","author":"zhang","year":"0","journal-title":"Proc IEEE InfoCom"},{"key":"ref42","article-title":"Formally verifiable networking","author":"wang","year":"0","journal-title":"Proc ACM SIGCOMM HotNets VI"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/90.974523"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/1851182.1851210"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/1080091.1080094"},{"key":"ref44","first-page":"440","article-title":"Model checking large network protocol implementations","author":"musuvathi","year":"0","journal-title":"Proc NSDI"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28756-5_20"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1145\/2043164.2018510"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/316188.316231"}],"container-title":["IEEE Transactions on Knowledge and Data Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/69\/7463089\/07374722.pdf?arnumber=7374722","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T16:11:26Z","timestamp":1642003886000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7374722\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,6,1]]},"references-count":46,"journal-issue":{"issue":"6"},"URL":"https:\/\/doi.org\/10.1109\/tkde.2016.2515604","relation":{},"ISSN":["1041-4347","1558-2191","2326-3865"],"issn-type":[{"type":"print","value":"1041-4347"},{"type":"electronic","value":"1558-2191"},{"type":"electronic","value":"2326-3865"}],"subject":[],"published":{"date-parts":[[2016,6,1]]}}}