Owe O, Yu IC. Deadlock detection of active objects with synchronous and asynchronous method calls. NIKT [Internet]. 2014Oct.27 [cited 2024Nov.23];. Available from: https://www.ntnu.no/ojs/index.php/nikt/article/view/5243