Please use this identifier to cite or link to this item:
http://hdl.handle.net/1942/16416
Title: | Deciding Correctness with Fairness for Simple Transducer Networks | Authors: | AMELOOT, Tom | Issue Date: | 2014 | Source: | Proceedings of the 17th International Conference on Database Theory | Abstract: | Ensuring the correctness of a distributed system is an important challenge. Previously, two interpretations of correctness have been proposed: the first interpretation is about determinism, saying that all infinite fair computation traces produce the same output; and, the second interpretation is a confluence notion, saying that all finite computation traces can still be extended to produce the same output. A decidability result for the confluence notion was previously obtained for so-called simple transducer networks, a model from the field of declarative networking. In the current paper, we also present a decidability result for simple transducer networks, but this time for the first interpretation of correctness, with infinite fair computation traces. We also compare the expressivity of simple transducer networks under both interpretations. | Document URI: | http://hdl.handle.net/1942/16416 | ISBN: | 978-3-89318066-1 | Rights: | Copyright is with the authors. | Category: | C1 | Type: | Proceedings Paper |
Appears in Collections: | Research publications |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
author version.pdf | Peer-reviewed author version | 428.86 kB | Adobe PDF | View/Open |
Page view(s)
20
checked on Sep 7, 2022
Download(s)
8
checked on Sep 7, 2022
Google ScholarTM
Check
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.