Formal methods for open object-based distributed systems /
Najm, Elie.
Stefani, Jean-Bernard.
London ; New York : Chapman & Hall, on behalf of IFIP,
1997.
Includes bibliographical references and indexes.
Electronic data processing
Object-oriented methods.