Show simple item record

dc.contributor.authorCalvanese D
dc.contributor.authorMontali M
dc.contributor.authorLobo J
dc.contributor.editorOlteanu D
dc.contributor.editorPoblete B
dc.date.accessioned2019-02-15T12:57:26Z
dc.date.available2019-02-15T12:57:26Z
dc.date.issued2018
dc.identifier.issn1613-0073
dc.identifier.urihttp://ceur-ws.org/Vol-2100
dc.identifier.urihttp://hdl.handle.net/10863/8350
dc.description.abstractLogic-based languages, such as Datalog and Answer Set Programming, have been recently put forward as a data-centric model to specify and implement network services and protocols. This approach provides the basis for declarative distributed computing, where a distributed system consists of a network of computational nodes, each evolving an internal database and exchanging data with the other nodes. Verifying these systems against temporal dynamic specifications is of crucial importance. In this paper, we attack this problem by considering the case where the network is a fixed connected graph, and nodes can incorporate fresh data from the external environment. As a verification formalism, we consider branching-Time, first-order temporal logics. We study the problem from different angles, delineating the decidability frontier and providing tight complexity bounds for the decidable cases. © 2018 CEUR-WS. All rights reserved.en_US
dc.languageEnglish
dc.language.isoenen_US
dc.publisherCEUR-WS.orgen_US
dc.relation12th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW 2018) ; Cali : 21.5.2018 - 25.5.2018
dc.relation.ispartofseriesCEUR Workshop Proceedings;
dc.rights
dc.titleVerification of Fixed-Topology Declarative Distributed Systems with External Dataen_US
dc.typeBook chapteren_US
dc.date.updated2019-02-12T09:12:59Z
dc.publication.titleProceedings of the 12th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW), Cali, Colombia, May 21-25, 2018
dc.language.isiEN-GB
dc.description.fulltextopenen_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record