Title: Formal Techniques for Distributed Objects, Components, and Systems
Subjects: Computer programming, Computer networks, Artificial intelligence, Computer software, development