Generic Flow Abstraction