Formal Techniques for Distributed Objects, Components, and Systemsby Mohammad Reza Mousavi, Anna PhilippouWriting a summary for young readers…For young readersBook data: Open Library