Please use this identifier to cite or link to this item:
http://hdl.handle.net/1942/17022
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | AMELOOT, Tom | - |
dc.contributor.author | VAN DEN BUSSCHE, Jan | - |
dc.date.accessioned | 2014-07-29T08:02:46Z | - |
dc.date.available | 2014-07-29T08:02:46Z | - |
dc.date.issued | 2014 | - |
dc.identifier.citation | JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 80 (7), p. 1191-1213 | - |
dc.identifier.issn | 0022-0000 | - |
dc.identifier.uri | http://hdl.handle.net/1942/17022 | - |
dc.description.abstract | Declarative networking is a recent approach to programming distributed applications with languages inspired by Datalog. A recent conjecture posits that the delivery of messages should respect causality if and only if they are used in non-monotone derivations. We present our results about this conjecture in the context of Dedalus, a Datalog-variant for distributed programming. We show that both directions of the conjecture fail under a strong semantical interpretation. But on a more syntactical level, we show that positive Dedalus programs can tolerate non-causal messages, in the sense that they compute the correct answer even when messages can be sent into the past. (C) 2014 Elsevier Inc. All rights reserved. | - |
dc.description.sponsorship | Research Foundation - Flanders (FWO) | - |
dc.language.iso | en | - |
dc.publisher | ACADEMIC PRESS INC ELSEVIER SCIENCE | - |
dc.rights | © 2014 Elsevier Inc. All rights reserved. | - |
dc.subject.other | Declarative networking; Causality; Asynchronous communication | - |
dc.subject.other | declarative networking; causality; asynchronous communication | - |
dc.title | Positive Dedalus programs tolerate non-causality | - |
dc.type | Journal Contribution | - |
dc.identifier.epage | 1213 | - |
dc.identifier.issue | 7 | - |
dc.identifier.spage | 1191 | - |
dc.identifier.volume | 80 | - |
local.format.pages | 23 | - |
local.bibliographicCitation.jcat | A1 | - |
dc.description.notes | [Ameloot, Tom J.] Hasselt Univ, Diepenbeek, Belgium. Transnatl Univ Limburg, Diepenbeek, Belgium. tom.ameloot@uhasselt.be; jan.vandenbussche@uhasselt.be | - |
local.publisher.place | SAN DIEGO | - |
local.type.refereed | Refereed | - |
local.type.specified | Article | - |
dc.identifier.doi | 10.1016/j.jcss.2014.01.005 | - |
dc.identifier.isi | 000336882100002 | - |
item.contributor | AMELOOT, Tom | - |
item.contributor | VAN DEN BUSSCHE, Jan | - |
item.validation | ecoom 2015 | - |
item.fullcitation | AMELOOT, Tom & VAN DEN BUSSCHE, Jan (2014) Positive Dedalus programs tolerate non-causality. In: JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 80 (7), p. 1191-1213. | - |
item.accessRights | Open Access | - |
item.fulltext | With Fulltext | - |
crisitem.journal.issn | 0022-0000 | - |
crisitem.journal.eissn | 1090-2724 | - |
Appears in Collections: | Research publications |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
ameloot 1.pdf | Published version | 475.99 kB | Adobe PDF | View/Open |
vienna12journal.pdf | Peer-reviewed author version | 586.04 kB | Adobe PDF | View/Open |
SCOPUSTM
Citations
2
checked on Sep 7, 2020
WEB OF SCIENCETM
Citations
2
checked on Apr 22, 2024
Page view(s)
104
checked on Sep 7, 2022
Download(s)
148
checked on Sep 7, 2022
Google ScholarTM
Check
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.