Title: Formal Techniques for Distributed Objects, Components, and Systems
Subjects: Electronic data processing, distributed processing, Computer network protocols, System design, Software engineering, Computer science, Logic design, Logics and Meanings of Programs, Computation by Abstract Devices, Mathematical Logic and Formal Languages