Formal methods for distributed processing