Declarative Networking

Tom J. Ameloot
2014 SIGMOD record  
We discuss recent theoretical results on declarative networking, in particular regarding the topics of coordination, correctness, and declarative semantics.
doi:10.1145/2694413.2694415 fatcat:r72f5oqytfb7xnbaml4rzgrr7u