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.

Bibliographic Details
Main Authors: Giachino, Elena, Laneve, Cosimo
Other Authors: Alma Mater Studiorum Università di Bologna = University of Bologna (UNIBO), Roberto Bruni, Juergen Dingel, TC 6, WG 6.1
Format: Conference Object
Language:English
Published: HAL CCSD 2011
Subjects:
[INFO]Computer Science [cs]
[INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI]
Iceland
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
Description
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.

Similar Items