Torres, Mateus, E 		Lopes, Bruno.
" Verificação de modelos com streams de dados sobre conectores Reo" <em>Anais do Workshop Brasileiro de Lógica (WBL)</em> [Online], (26 agosto 2020)