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