Using model checking to detect deadlocks in distributed object systems
Nima Kaveh · 2001
We demonstrate how the use of synchronization primitives and threading policies in distributed object middleware can lead to deadlocks. We identify that object middleware only has a few built-in synchronizationand threading primitives.