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