Analysis of Deadlocks in Object Groups - Formal Techniques for Distributed Systems Access content directly
Conference Papers Year : 2011

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.
Fichier principal
Vignette du fichier
978-3-642-21461-5_11_Chapter.pdf (137.89 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01583328 , version 1 (07-09-2017)

Licence

Attribution

Identifiers

Cite

Elena Giachino, Cosimo Laneve. Analysis of Deadlocks in Object Groups. 13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik,, Iceland. pp.168-182, ⟨10.1007/978-3-642-21461-5_11⟩. ⟨hal-01583328⟩
35 View
51 Download

Altmetric

Share

Gmail Facebook X LinkedIn More