Toward a Concurrent Programming Model with Modular Reasoning