Return to Article Details Deadlock detection of active objects with synchronous and asynchronous method calls Download Download PDF