Owe, O., & Yu, I. C. (2014). Deadlock detection of active objects with synchronous and asynchronous method calls. Norsk IKT-Konferanse for Forskning Og Utdanning. Retrieved from https://www.ntnu.no/ojs/index.php/nikt/article/view/5243