A theoretical analysis of feedback flow control | Synapse