Detecting Deadlock in Ada Rendezvous Flow Structure Based on Process Algebra.

Yuan Liu, Baowen Xu, Zhenqiang Chen

Browse the full ICFEM paper archive.