???global.info.a_carregar???

Programação Concorrente Segura com Tipos de Sessão
Safe Concurrent Programming with Session Types
DOI
https://doi.org/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
Vasco Manuel Thudichum de Serpa Vasconcelos
1A13-F831-DC4F
The data relates to the validation period. For more details, please consult the