Torres, M., & 		Lopes, B.
2020 ago 26.  Verificação de modelos com streams de dados sobre conectores Reo. Anais do Workshop Brasileiro de Lógica (WBL). [Online] :