Affiliation:
1. Hasselt University & Transnational University of Limburg, Diepenbeek, Belgium
Abstract
We discuss recent theoretical results on declarative networking, in particular regarding the topics of coordination, correctness, and declarative semantics.
Publisher
Association for Computing Machinery (ACM)
Subject
Information Systems,Software
Reference53 articles.
1. Rule-based application development using Webdamlog
2. A rule-based language for web data management
3. Relational Transducers for Electronic Commerce
4. 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.
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Decidability Borders of Verification of Communicating Datalog Agents;Multi-Agent Systems;2023
2. Datalog Unchained;Proceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems;2021-06-20
3. Model of Process Synchronization in Through Analysis;Advances in Cyber-Physical Systems;2021-01-23
4. Keeping CALM;Communications of the ACM;2020-08-21
5. A Case for Stale Synchronous Distributed Model for Declarative Recursive Computation;Theory and Practice of Logic Programming;2019-09