Text this: Assertional Reasoning for Concurrent and Communicating BPEL-like Programs