Deadlock detection of active objects with synchronous and asynchronous method calls.