| Acronym: DeDuCe |
| Main Objective: The goal of this project is to define a concurrency control model that is correct by design, and usable in practice, in the sense that it may be efficiently implemented and deliver good performances. |
| Reference: 02/SAICT/2017 |
| Funding: EU/H2020 |
| Start Date: 01-01-2018 |
| End Date: 31-12-2020 |
| Team: Ana Gualdina Almeida Matos, Pedro Salgado, Luís Pedro Martins Chula |
| Groups: Security and Quantum Information - Lx |
| Partners: NOVA.ID.FCT - ASSOCIAÇÃO PARA A INOVAÇÃO E 1 DESENVOLVIMENTO DA FCT |
| Local Coordinator: Ana Gualdina Almeida Matos |
|
|
|
Associated Publications
|
