Analysis of Deadlocks in Object Groups - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2011

Analysis of Deadlocks in Object Groups

Résumé

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.

Domaines

Informatique [cs] Réseaux et télécommunications [cs.NI]
Fichier principal
Vignette du fichier
978-3-642-21461-5_11_Chapter.pdf (137.89 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Hal Ifip  : Connectez-vous pour contacter le contributeur

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

Soumis le : jeudi 7 septembre 2017-11:10:29

Dernière modification le : jeudi 14 décembre 2023-13:56:06

Télécharger pour visualiser

Dates et versions

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

Licence

Paternité

Identifiants

Citer

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⟩

Exporter

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
35 Consultations
51 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More