Bernardo Almeida

Primary tabs

2020
Almeida, B., A. Mordido, and V. T. Vasconcelos, "Deciding the bisimilarity of context-free session types", International Conference on Tools and Algorithms for the Construction and Analysis of Systems: Springer, Cham, 2020.
Vasconcelos, V. T., F. Casal, B. Almeida, and A. Mordido, "Mixed Sessions", European Symposium on Programming: Springer, Cham, 2020.
2019
Almeida, B., A. Mordido, and V. T. Vasconcelos, "FreeST: Context-free Session Types in a Functional Language", PLACES'19 - 11th Workshop on Programming Language Approaches to Concurrency & Communication-cEntric Software, 2019.
2018
Almeida, B., Uma linguagem de programação com tipos de sessão independentes do contexto, , 2018.