Verification of Static and Dynamic Barrier Synchronization Using Bounded Permissions.

Duy-Khanh Le, Wei-Ngan Chin, Yong Meng Teo

Browse the full ICFEM paper archive.