Formal methods for distributed processing : a survey of object-oriented approaches /
Bowman, Howard,1966-
Derrick, John,1963-
Cambridge : Cambridge University Press,
2001.
Includes bibliographical references and index.
Electronic data processing
Object-oriented programming (Computer science)