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

SCOPUSTM   
Citations

4
checked on Sep 3, 2020

WEB OF SCIENCETM
Citations

6
checked on Oct 4, 2024

Page view(s)

18
checked on Sep 7, 2022

Download(s)

14
checked on Sep 7, 2022

Google ScholarTM

Check

Altmetric


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