{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:15:35Z","timestamp":1750306535676,"version":"3.41.0"},"reference-count":53,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2014,12,4]],"date-time":"2014-12-04T00:00:00Z","timestamp":1417651200000},"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":["SIGMOD Rec."],"published-print":{"date-parts":[[2014,12,4]]},"abstract":"<jats:p>We discuss recent theoretical results on declarative networking, in particular regarding the topics of coordination, correctness, and declarative semantics.<\/jats:p>","DOI":"10.1145\/2694413.2694415","type":"journal-article","created":{"date-parts":[[2014,12,8]],"date-time":"2014-12-08T16:17:14Z","timestamp":1418055434000},"page":"5-16","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":10,"title":["Declarative Networking"],"prefix":"10.1145","volume":"43","author":[{"given":"Tom J.","family":"Ameloot","sequence":"first","affiliation":[{"name":"Hasselt University &amp; Transnational University of Limburg, Diepenbeek, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2014,12,4]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2463676.2465251"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1989284.1989320"},{"key":"e_1_2_1_3_1","volume-title":"Foundations of Databases","author":"Abiteboul S.","year":"1995","unstructured":"S. Abiteboul , R. Hull , and V. Vianu . Foundations of Databases . Addison-Wesley , 1995 . S. Abiteboul, R. Hull, and V. Vianu. Foundations of Databases. Addison-Wesley, 1995."},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1006\/jcss.2000.1708"},{"key":"e_1_2_1_6_1","volume-title":"A declarative semantics for Dedalus","author":"Alvaro P.","year":"1942","unstructured":"P. Alvaro , T.J. Ameloot , J.M. Hellerstein , W.R. Marczak , and J. Van den Bussche . A declarative semantics for Dedalus . Hasselt University , Technical report, http:\/\/hdl.handle.net\/ 1942 \/14572, 2013. P. Alvaro, T.J. Ameloot, J.M. Hellerstein, W.R. Marczak, and J. Van den Bussche. A declarative semantics for Dedalus. Hasselt University, Technical report, http:\/\/hdl.handle.net\/1942\/14572, 2013."},{"key":"e_1_2_1_7_1","first-page":"249","volume-title":"Proceedings 5th Biennial Conference on Innovative Data Systems Research","author":"Alvaro P.","year":"2011","unstructured":"P. Alvaro , N. Conway , J. Hellerstein , and W.R. Marczak . Consistency analysis in Bloom: A CALM and collected approach . In Proceedings 5th Biennial Conference on Innovative Data Systems Research , pages 249 -- 260 . www.cidrdb.org, 2011 . P. Alvaro, N. Conway, J. Hellerstein, and W.R. Marczak. Consistency analysis in Bloom: A CALM and collected approach. In Proceedings 5th Biennial Conference on Innovative Data Systems Research, pages 249--260. www.cidrdb.org, 2011."},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24206-9_16"},{"key":"e_1_2_1_10_1","volume-title":"Proceedings of the 17th International Conference on Database Theory","author":"Ameloot T.J.","year":"2014","unstructured":"T.J. Ameloot . Deciding correctness with fairness for simple transducer networks . In Proceedings of the 17th International Conference on Database Theory , 2014 (to appear). T.J. Ameloot. Deciding correctness with fairness for simple transducer networks. In Proceedings of the 17th International Conference on Database Theory, 2014 (to appear)."},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594538.2594541"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2450142.2450151"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2274576.2274587"},{"key":"e_1_2_1_14_1","unstructured":"T.J. Ameloot and J. Van den Bussche. Positive Dedalus programs tolerate non-causality. Journal of Computer and System Sciences to appear.  T.J. Ameloot and J. Van den Bussche. Positive Dedalus programs tolerate non-causality. Journal of Computer and System Sciences to appear."},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(94)90024-8"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2460276.2462076"},{"key":"e_1_2_1_17_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-32925-8","volume-title":"Datalog in Academia and Industry","author":"Barcel\u00f3 P.","year":"2012","unstructured":"P. Barcel\u00f3 and R. Pichler , editors . Datalog in Academia and Industry , volume 7494 of Lecture Notes in Computer Science . Springer , 2012 . P. Barcel\u00f3 and R. Pichler, editors. Datalog in Academia and Industry, volume 7494 of Lecture Notes in Computer Science. Springer, 2012."},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2463664.2465224"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2466486.2482856"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(94)00030-A"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/151634.151635"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2391229.2391230"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/2185923"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1327452.1327492"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1514894.1514924"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2006.10.006"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1142351.1142364"},{"key":"e_1_2_1_28_1","first-page":"1070","volume-title":"Proceedings of the Fifth International Conference on Logic Programming","author":"Gelfond M.","year":"1988","unstructured":"M. Gelfond and V. Lifschitz . The stable model semantics for logic programming . In Proceedings of the Fifth International Conference on Logic Programming , pages 1070 -- 1080 . MIT Press , 1988 . M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In Proceedings of the Fifth International Conference on Logic Programming, pages 1070--1080. MIT Press, 1988."},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-11503-5_9"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1860702.1860704"},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1989323.1989456"},{"key":"e_1_2_1_32_1","series-title":"CEUR Workshop Proceedings","volume-title":"Datalog in time and space, synchronously","author":"Interlandi M.","year":"2013","unstructured":"M. Interlandi , L. Tanca , and S. Bergamaschi . Datalog in time and space, synchronously . In L. Bravo and M. Lenzerini, editors, AMW, volume 1087 of CEUR Workshop Proceedings . CEUR-WS. org, 2013 . M. Interlandi, L. Tanca, and S. Bergamaschi. Datalog in time and space, synchronously. In L. Bravo and M. Lenzerini, editors, AMW, volume 1087 of CEUR Workshop Proceedings. CEUR-WS.org, 2013."},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1989284.1989310"},{"key":"e_1_2_1_34_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1007\/BFb0055496","volume-title":"Transactions and Change in Logic Databases","author":"Lausen G.","year":"1998","unstructured":"G. Lausen , B. Lud\u00e4scher , and W. May . On active deductive databases: The statelog approach . In B. Freitag, H. Decker, M. Kifer, and A. Voronkov, editors, Transactions and Change in Logic Databases , volume 1472 of Lecture Notes in Computer Science , pages 69 -- 106 . Springer Berlin Heidelberg , 1998 . G. Lausen, B. Lud\u00e4scher, and W. May. On active deductive databases: The statelog approach. In B. Freitag, H. Decker, M. Kifer, and A. Voronkov, editors, Transactions and Change in Logic Databases, volume 1472 of Lecture Notes in Computer Science, pages 69--106. Springer Berlin Heidelberg, 1998."},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.5555\/1758663.1758678"},{"key":"e_1_2_1_36_1","first-page":"141","volume-title":"ATAL","author":"Leite J.A.","year":"2002","unstructured":"J.A. Leite , J.J. Alferes , and L.M. Pereira . Minerva - a dynamic logic programming agent architecture. In Revised Papers from the 8th International Workshop on Intelligent Agents VIII , ATAL , pages 141 -- 157 . Springer-Verlag , 2002 . J.A. Leite, J.J. Alferes, and L.M. Pereira. Minerva - a dynamic logic programming agent architecture. In Revised Papers from the 8th International Workshop on Intelligent Agents VIII, ATAL, pages 141--157. Springer-Verlag, 2002."},{"key":"e_1_2_1_37_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"454","DOI":"10.1007\/978-3-642-30743-0_31","volume-title":"Correct Reasoning","author":"Lobo J.","year":"2012","unstructured":"J. Lobo , J. Ma , A. Russo , and F. Le . Declarative distributed computing . In E. Erdem, J. Lee, Y. Lierler, and D. Pearce, editors, Correct Reasoning , volume 7265 of Lecture Notes in Computer Science , pages 454 -- 470 . Springer , 2012 . J. Lobo, J. Ma, A. Russo, and F. Le. Declarative distributed computing. In E. Erdem, J. Lee, Y. Lierler, and D. Pearce, editors, Correct Reasoning, volume 7265 of Lecture Notes in Computer Science, pages 454--470. Springer, 2012."},{"key":"e_1_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1142473.1142485"},{"key":"e_1_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/1592761.1592785"},{"key":"e_1_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-27694-1_1"},{"key":"e_1_2_1_41_1","first-page":"340","volume-title":"Graphlab: A new framework for parallel machine learning","author":"Low Y.","year":"2010","unstructured":"Y. Low , J. Gonzalez , A. Kyrola , D. Bickson , C. Guestrin , and J.M. Hellerstein . Graphlab: A new framework for parallel machine learning . In P. Gr\u00fcnwald and P. Spirtes, editors, UAI, pages 340 -- 349 . AUAI Press , 2010 . Y. Low, J. Gonzalez, A. Kyrola, D. Bickson, C. Guestrin, and J.M. Hellerstein. Graphlab: A new framework for parallel machine learning. In P. Gr\u00fcnwald and P. Spirtes, editors, UAI, pages 340--349. AUAI Press, 2010."},{"key":"e_1_2_1_42_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"294","DOI":"10.1007\/10704567_18","volume-title":"Principles and Practice of Declarative Programming","author":"Lu L.","year":"1999","unstructured":"L. Lu and J.G. Cleary . An operational semantics of starlog . In G. Nadathur, editor, Principles and Practice of Declarative Programming , volume 1702 of Lecture Notes in Computer Science , pages 294 -- 310 . Springer Berlin Heidelberg , 1999 . L. Lu and J.G. Cleary. An operational semantics of starlog. In G. Nadathur, editor, Principles and Practice of Declarative Programming, volume 1702 of Lecture Notes in Computer Science, pages 294--310. Springer Berlin Heidelberg, 1999."},{"key":"e_1_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068413000513"},{"key":"e_1_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/1807167.1807184"},{"key":"e_1_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32925-8_14"},{"key":"e_1_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-92995-6_6"},{"key":"e_1_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cl.2012.02.001"},{"key":"e_1_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1007\/11961536_12"},{"key":"e_1_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/298514.298572"},{"key":"e_1_2_1_50_1","first-page":"67","article-title":"Convergent and commutative replicated data types","volume":"104","author":"Shapiro M.","year":"2011","unstructured":"M. Shapiro , N.M. Pregui\u00e7a , C. Baquero , and M. Zawirski . Convergent and commutative replicated data types . Bulletin of the EATCS , 104 : 67 -- 88 , 2011 . M. Shapiro, N.M. Pregui\u00e7a, C. Baquero, and M. Zawirski. Convergent and commutative replicated data types. Bulletin of the EATCS, 104:67--88, 2011.","journal-title":"Bulletin of the EATCS"},{"key":"e_1_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-0000(02)00029-6"},{"key":"e_1_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/1435417.1435432"},{"key":"e_1_2_1_53_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"204","DOI":"10.1007\/3-540-57530-8_13","volume-title":"Deductive and Object-Oriented Databases","author":"Zaniolo C.","year":"1993","unstructured":"C. Zaniolo , N. Arni , and K. Ong . Negation and aggregates in recursive rules: the ldl++ approach . In S. Ceri, K. Tanaka, and S. Tsur, editors, Deductive and Object-Oriented Databases , volume 760 of Lecture Notes in Computer Science , pages 204 -- 221 . Springer Berlin Heidelberg , 1993 . C. Zaniolo, N. Arni, and K. Ong. Negation and aggregates in recursive rules: the ldl++ approach. In S. Ceri, K. Tanaka, and S. Tsur, editors, Deductive and Object-Oriented Databases, volume 760 of Lecture Notes in Computer Science, pages 204--221. Springer Berlin Heidelberg, 1993."},{"key":"e_1_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1007\/s13174-010-0007-6"},{"key":"e_1_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/2274576.2274588"}],"container-title":["ACM SIGMOD Record"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2694413.2694415","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2694413.2694415","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:12:20Z","timestamp":1750227140000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2694413.2694415"}},"subtitle":["Recent Theoretical Work on Coordination, Correctness, and Declarative Semantics"],"short-title":[],"issued":{"date-parts":[[2014,12,4]]},"references-count":53,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2014,12,4]]}},"alternative-id":["10.1145\/2694413.2694415"],"URL":"https:\/\/doi.org\/10.1145\/2694413.2694415","relation":{},"ISSN":["0163-5808"],"issn-type":[{"type":"print","value":"0163-5808"}],"subject":[],"published":{"date-parts":[[2014,12,4]]},"assertion":[{"value":"2014-12-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}