Formal methods for distributed processing a survey of object-oriented approaches (Cambridge Univ. Pr., 2001)