An algebraic approach to practical and scalable overlay network monitoring | Synapse