Title: Formal methods for distributed processing
Subjects: Electronic data processing, Distributed processing, Object-oriented programming (Computer science), Electronic data processing, distributed processing