Welcome to the UPF Digital Repository

Convergence verification of declarative distributed systems

Show simple item record

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

Thumbnail

This item appears in the following Collection(s)

Show simple item record

Search DSpace


Advanced Search

Browse

My Account

Statistics

In collaboration with Compliant to Partaking