Theodus/backpressure-model Issues
possible deadlock?
Updated 2A stronger blocker invariant?
Updated 1new notation for the model
Updated 2summary of meeting on 29.10
UpdatedQ16: cycles in the mute-sets
Closed 2Q17: implications of `priority[c]=1`
Closed 10Q18: mut-sets disjoint
Closed 1