FCT Digital Services
Activity Funded
Safe Concurrent Programming with Session Types
Programação Concorrente Segura com Tipos de Sessão
Details
Reference
PTDC/CCI-COM/6453/2020
PTDC/CCI-COM/6453/2020
Project Start Date
2021-03-01
2021-03-01
Project End Date
2024-08-31
2024-08-31
Principal Investigator
-
Vasco Manuel Thudichum De Serpa Vasconcelos
1A13-F831-DC4F
0000-0002-9539-8861
Scientific Area
Exact sciences
Exact sciences
Funding Program
Concurso para Financiamento de Projetos de Investigação Científica e Desenvolvimento Tecnológico em Todos os Domínios Científicos - 2020
Concurso para Financiamento de Projetos de Investigação Científica e Desenvolvimento Tecnológico em Todos os Domínios Científicos - 2020
Institutions
Main Institutions
- FCiênciasID Associação para a Investigação e Desenvolvimento de Ciências (Fciências.ID)
- Universidade de Lisboa LASIGE Laboratório de Sistemas Informáticos de Grande Escala (LASIGE/FC/ULisboa)
Other Institutions
- Universidade de Lisboa Faculdade de Ciências (FCUL)
Funding 243.071,25 €
Fundação para a Ciência e a Tecnologia (FCT) - Portugal
243.071,25 €