Skip to Main content Skip to Navigation
Reports

Deadlock Analysis of Wait-Notify Coordination

Complete list of metadata

https://hal.inria.fr/hal-02166082
Contributor : Laneve Cosimo <>
Submitted on : Wednesday, June 26, 2019 - 2:33:36 PM
Last modification on : Thursday, June 27, 2019 - 1:23:03 AM

Identifiers

  • HAL Id : hal-02166082, version 1

Collections

Citation

Laneve Cosimo, Luca Padovani. Deadlock Analysis of Wait-Notify Coordination. [Technical Report] University of Bologna; University of Torino. 2019. ⟨hal-02166082⟩

Share

Metrics

Record views

107