Mahmood Ashraf Khan

• A design environment for deadlock-free concurrent software