Browsing by Author "Calvanese, Diego"

Sort by: Order: Results:

  • Convergence verification of declarative distributed systems
    Calvanese, Diego; Cosmo, Francesco di; Lobo, Jorge; Montali, Marco (CEUR Workshop Proceedings, 2021)
    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 ...
  • Verification of fixed-topology declarative distributed systems with external data
    Calvanese, Diego; Montali, Marco; Lobo, Jorge (CEUR Workshop Proceedings, 2018)
    Logic-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 ...

Search DSpace

Browse

My Account

In collaboration with Compliant to Partaking