Torres, M., & 		Lopes, B.
(2020).
Verificação de modelos com streams de dados sobre conectores Reo.
In <em>Anais do I Workshop Brasileiro de Lógica</em>, (pp. 9-16). Porto Alegre: SBC.
doi:10.5753/wbl.2020.11453