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 | Size | Format | |
---|---|---|---|---|
03.principles.Ameloot.pdf | 629.49 kB | Adobe PDF | View/Open |
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.