Analysis of Deadlocks in Object Groups
International audience 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.
Main Authors: | , |
---|---|
Other Authors: | , , , , |
Format: | Conference Object |
Language: | English |
Published: |
HAL CCSD
2011
|
Subjects: | |
Online Access: | https://inria.hal.science/hal-01583328 https://inria.hal.science/hal-01583328/document https://inria.hal.science/hal-01583328/file/978-3-642-21461-5_11_Chapter.pdf https://doi.org/10.1007/978-3-642-21461-5_11 |
Summary: | International audience 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. |
---|