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 ftifiphal:oai:HAL:hal-01583328v1
record_format openpolar
spelling ftifiphal: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 ftifiphal https://doi.org/10.1007/978-3-642-21461-5_11 2023-12-16T22:28:22Z 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 IFIP Open Digital Library (International Federation for Information Processing) 168 182
institution Open Polar
collection IFIP Open Digital Library (International Federation for Information Processing)
op_collection_id ftifiphal
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_ 1788062272444170240

Similar Items