Owe, O. and Yu, I.C. 2014. Deadlock detection of active objects with synchronous and asynchronous method calls. Norsk IKT-konferanse for forskning og utdanning. (Oct. 2014).