Formal Methods For Distributed Processing by