Ribeiro, Cláudio, Bruno Silvestre, and Daniel Ventura.
" Type Systems for Concurrent Programming: A Case Study." <em>Proceedings of the 5th Brazilian Workshop of Logic,
Brasília/DF, 2024</em>. SBC, 2024,  
pp.27-37.