Text this: Formal methods for distributed processing :