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.
|Start Date: 01-01-2018|
|End Date: 31-12-2020|
|Team: Ana Gualdina Almeida Matos|
|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|