Text this: Compositional Reasoning for Explicit Resource Management in Channel-Based Concurrency