Blechmann, Baier, 2008. Checking Equivalence for Reo Networks 215.. https://doi.org/10.1016/j.entcs.2008.06.029