Detecting Deadlock in Ada Rendezvous Flow Structure Based on Process Algebra. - Liu, Yuan; Xu, Baowen; Chen, Zhenqiang (2002)