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
Referência
PTDC/CCI-COM/6453/2020
Período de Execução do Projeto
2021-03-01 a 2024-08-31
Programa de Financiamento
Concurso para Financiamento de Projetos de Investigação Científica e Desenvolvimento Tecnológico em Todos os Domínios Científicos
- 2020
Área Científica
Ciências exatas
Instituições Principais
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)
Outras Instituições
Universidade de Lisboa Faculdade de Ciências (FCUL)
Financiador
Fundação para a Ciência e a Tecnologia (FCT)
Valor Financiado
(EUR)
243.071,25 €
País do Financiador
Portugal
Período de Execução do Financiamento
2021-01-01 a 2023-12-31
Investigador Principal
Os dados referem-se ao período de homologação. Para mais detalhes consulte a