Declarative Networking: Recent Theoretical Work on Coordination, Correctness, and Declarative Semantics

Abstract

We discuss recent theoretical results on declarative networking, in particular regarding the topics of coordination, correctness, and declarative semantics. 
DOI: 10.1145/2694413.2694415

Topics

Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics