Formal Methods for Distributed Processing : A Survey of Object-Oriented Approaches

Omtale

This 2002 collection of comprehensive surveys by leading researchers presents techniques in the application of formal methods to object-based distributed systems, including sections on dynamic reconfiguration, encapsulation, subtyping, inheritance, and real-time aspects.