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 |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.