Title: Formal Methods for Open Object-Based Distributed Systems
Subjects: Logic design, Computer science, Software engineering, Operating systems (Computers), Electronic data processing, distributed processing, Object-oriented programming (computer science), Electronic data processing, Congresses, Distributed processing, Object-oriented programming (Computer science), Formal methods (Computer science)