Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches