Please use this identifier to cite or link to this item: http://hdl.handle.net/1942/18016
Title: Declarative Networking: Recent Theoretical Work on Coordination, Correctness, and Declarative Semantics
Authors: AMELOOT, Tom 
Issue Date: 2014
Publisher: ASSOC COMPUTING MACHINERY
Source: SIGMOD RECORD, 43 (2), p. 5-16
Abstract: We discuss recent theoretical results on declarative networking, in particular regarding the topics of coordination, correctness, and declarative semantics.
Notes: [Ameloot, Tom J.] Hasselt Univ, Diepenbeek, Belgium. [Ameloot, Tom J.] Transnat Univ Limburg, Diepenbeek, Belgium.
Document URI: http://hdl.handle.net/1942/18016
ISSN: 0163-5808
e-ISSN: 1943-5835
DOI: 10.1145/2694413.2694415
ISI #: 000344417200001
Category: A1
Type: Journal Contribution
Validations: ecoom 2015
Appears in Collections:Research publications

Files in This Item:
File Description SizeFormat 
03.principles.Ameloot.pdf629.49 kBAdobe PDFView/Open
Show full item record

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.