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