Analysis of Deadlocks in Object Groups - Formal Techniques for Distributed Systems
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.

Domains

Computer Science [cs] Networking and Internet Architecture [cs.NI]
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)

Hal Ifip  : Connect in order to contact the contributor

https://inria.hal.science/hal-01583328

Submitted on : Thursday, September 7, 2017-11:10:29 AM

Last modification on : Thursday, December 14, 2023-1:56:06 PM

Download

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⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

IFIP-LNCS IFIP IFIP-TC IFIP-WG IFIP-TC6 IFIP-WG6-1 IFIP-FORTE IFIP-FMOODS IFIP-LNCS-6722
46 View
63 Download

Altmetric

Share

More