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