Formal methods for distributed processing: a survey of object-oriented approaches
Éditeur :
Cambridge University Press
ISBN :
9780521771849
Date de publication :
22 oct. 2001
Dimensions :
25,4 x 17,8 x 2,7 cm
Poids :
1015 g
Langue :
Anglais
Pays d'origine :
Grande Bretagne
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.