Text this: A Behavioral Theory for Distributed Systems with Weak Recovery