Formal methods for distributed processing: a survey of object - oriented approaches/
Ed by Howard Bowman
- Cambridge: Cambridge University Press, 2001.
- 480p.
9 780521 771849
Electronic data processing - Distributed processing Object - oriented programming.