Analysis of Deadlocks in Object Groups
Résumé
Object groups are collections of objects that perform collective work. We study a calculus with object groups and develop a technique for the deadlock analysis of such systems based on abstract descriptions of method’s behaviours.
Origine : Fichiers produits par l'(les) auteur(s)
Loading...