Analysis of Deadlocks in Object Groups
Abstract
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.
Origin : Files produced by the author(s)
Loading...