BIBLIOS
Ciências References Management System
Visitor Mode (
Login
)
Need help?
Publications for bpdalmeida
(4)
2020
Deciding the Bisimilarity of Context-Free Session Types
(2020)
Bernardo Almeida
Andreia Mordido
Vasco T. Vasconcelos
Conference papers
2020
Mixed Sessions
(2020)
Vasco T. Vasconcelos
Filipe Casal
Bernardo Almeida
Andreia Mordido
Conference papers
2019
FreeST: Context-free Session Types in a Functional Language
(2019)
Bernardo Almeida
Andreia Mordido
Vasco T. Vasconcelos
Other
2018
Uma linguagem de programação com tipos de sessão independentes do contexto
(2018)
Bernardo Pinto de Almeida
Vasco Manuel Thudichum de Serpa Vasconcelos
Academic documents