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.
Complete list of metadatas

Cited literature [19 references]  Display  Hide  Download

https://hal.inria.fr/hal-01583328
Contributor : Hal Ifip <>
Submitted on : Thursday, September 7, 2017 - 11:10:29 AM
Last modification on : Monday, September 11, 2017 - 10:47:47 AM

File

978-3-642-21461-5_11_Chapter.p...
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

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⟩

Share

Metrics

Record views

66

Files downloads

66