Torres, M., & 		Lopes, B.
(2020).
 Model checking Reo connectors with data streams.
In <em>Proceedings of the 1st Brazilian Workshop of Logic</em>, (pp. 9-16). Porto Alegre: SBC.
doi:10.5753/wbl.2020.11453