dc.contributor.author |
Calvanese, Diego |
dc.contributor.author |
Cosmo, Francesco di |
dc.contributor.author |
Lobo, Jorge |
dc.contributor.author |
Montali, Marco |
dc.date.accessioned |
2023-03-01T07:26:01Z |
dc.date.available |
2023-03-01T07:26:01Z |
dc.date.issued |
2021 |
dc.identifier.citation |
Calvanese D, di Cosmo F, Lobo J, Montali M. Convergence verification of declarative distributed systems. CEUR Workshop Proc. 2021;3002:62-76. |
dc.identifier.issn |
1613-0073 |
dc.identifier.uri |
http://hdl.handle.net/10230/55981 |
dc.description.abstract |
Logic-based languages, such as Datalog and Answer Set Programming, have been recently put forward as a data-centric model to effectively specify and implement network services and protocols, seeing them as dynamic systems of distributed computational nodes where each node evolves an internal database and exchanges data with the other nodes of the network. This approach provides the basis for declarative distributed computing. However, a rigorous, comprehensive characterization of the decidability and complexity of verification in declarative distributed systems is yet to come. This paper charts the decidability border of the verification of convergence properties, considering the case where the network is a fixed connected graph, nodes can incorporate fresh data from the external world into the system, and can communicate asynchronously by means of reliable but unordered channels. |
dc.format.mimetype |
application/pdf |
dc.language.iso |
eng |
dc.publisher |
CEUR Workshop Proceedings |
dc.relation.ispartof |
CEUR Workshop Proceedings. 2021;3002:62-76. |
dc.rights |
Copyright © 2021 for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0) |
dc.rights.uri |
https://creativecommons.org/licenses/by/4.0/ |
dc.subject.other |
Sistemes operatius distribuïts (Ordinadors) |
dc.title |
Convergence verification of declarative distributed systems |
dc.type |
info:eu-repo/semantics/article |
dc.rights.accessRights |
info:eu-repo/semantics/openAccess |
dc.type.version |
info:eu-repo/semantics/publishedVersion |