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
id ftccsdartic:oai:HAL:hal-01583328v1
record_format openpolar
spelling ftccsdartic:oai:HAL:hal-01583328v1 2024-01-14T10:07:52+01:00 Analysis of Deadlocks in Object Groups Giachino, Elena Laneve, Cosimo Alma Mater Studiorum Università di Bologna = University of Bologna (UNIBO) Roberto Bruni Juergen Dingel TC 6 WG 6.1 Reykjavik,, Iceland 2011-06-06 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 en eng HAL CCSD Springer info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-642-21461-5_11 hal-01583328 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 doi:10.1007/978-3-642-21461-5_11 http://creativecommons.org/licenses/by/ info:eu-repo/semantics/OpenAccess Lecture Notes in Computer Science 13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE) https://inria.hal.science/hal-01583328 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⟩ [INFO]Computer Science [cs] [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI] info:eu-repo/semantics/conferenceObject Conference papers 2011 ftccsdartic https://doi.org/10.1007/978-3-642-21461-5_11 2023-12-17T01:39:51Z 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. Conference Object Iceland Archive ouverte HAL (Hyper Article en Ligne, CCSD - Centre pour la Communication Scientifique Directe) 168 182
institution Open Polar
collection Archive ouverte HAL (Hyper Article en Ligne, CCSD - Centre pour la Communication Scientifique Directe)
op_collection_id ftccsdartic
language English
topic [INFO]Computer Science [cs]
[INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI]
spellingShingle [INFO]Computer Science [cs]
[INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI]
Giachino, Elena
Laneve, Cosimo
Analysis of Deadlocks in Object Groups
topic_facet [INFO]Computer Science [cs]
[INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI]
description 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.
author2 Alma Mater Studiorum Università di Bologna = University of Bologna (UNIBO)
Roberto Bruni
Juergen Dingel
TC 6
WG 6.1
format Conference Object
author Giachino, Elena
Laneve, Cosimo
author_facet Giachino, Elena
Laneve, Cosimo
author_sort Giachino, Elena
title Analysis of Deadlocks in Object Groups
title_short Analysis of Deadlocks in Object Groups
title_full Analysis of Deadlocks in Object Groups
title_fullStr Analysis of Deadlocks in Object Groups
title_full_unstemmed Analysis of Deadlocks in Object Groups
title_sort analysis of deadlocks in object groups
publisher HAL CCSD
publishDate 2011
url 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
op_coverage Reykjavik,, Iceland
genre Iceland
genre_facet Iceland
op_source Lecture Notes in Computer Science
13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE)
https://inria.hal.science/hal-01583328
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⟩
op_relation info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-642-21461-5_11
hal-01583328
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
doi:10.1007/978-3-642-21461-5_11
op_rights http://creativecommons.org/licenses/by/
info:eu-repo/semantics/OpenAccess
op_doi https://doi.org/10.1007/978-3-642-21461-5_11
container_start_page 168
op_container_end_page 182
_version_ 1788062272861503488

Similar Items