Welcome to the UPF Digital Repository

Browsing by Subject "Sistemes operatius distribuïts (Ordinadors)"

Browsing by Subject "Sistemes operatius distribuïts (Ordinadors)"

Sort by: Order: Results:

  • 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 ...

Search DSpace

Browse

My Account

In collaboration with Compliant to Partaking