Convergence verification of declarative distributed systems

Mostra el registre complet Registre parcial de l'ítem

  • 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.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.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.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.accessRights info:eu-repo/semantics/openAccess
  • 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.type.version info:eu-repo/semantics/publishedVersion

Col·leccions

Articles (Departament de Tecnologies de la Informació i les Comunicacions)