Programação Concorrente Segura com Tipos de Sessão
Safe Concurrent Programming with Session Types
DOI
10.54499/PTDC/CCI-COM/6453/2020
Reference
PTDC/CCI-COM/6453/2020
Runtime Project
2021-03-01 to 2024-08-31
Funding Program
Concurso para Financiamento de Projetos de Investigação Científica e Desenvolvimento Tecnológico em Todos os Domínios Científicos
- 2020
Knowledge Fields
Exact sciences
Main Institutions
FCiênciasID Associação para a Investigação e Desenvolvimento de Ciências (Fciências.ID)
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala (LASIGE/FC/ULisboa)
Other Institutions
Universidade de Lisboa Faculdade de Ciências (FCUL)
Funder
Fundação para a Ciência e a Tecnologia (FCT)
Funding amount
(EUR)
243.071,25 €
Funder Country
Portugal
Runtime Funding
2021-01-01 to 2023-12-31
Principal Investigator
The data relates to the validation period. For more details, please consult the