Jaeyong Shim Dongsoo Han Hongsoog Kim Communication Deadlock Detection of Inter-organizational Workflow Definition. 43-57 2002 conf/dnis/2002 DNIS http://link.springer.de/link/service/series/0558/bibs/2544/25440043.htm db/conf/dnis/dnis2002.html#ShimHK02