P M. Lu;S S. Yau;W Hong
Bell Telephone Laboratories, Holmdel, NJ;Northwestern Univ., Evanston, IL;Northwestern Univ., Evanston, IL
Verification of Concurrent Control Flow in Distributed Computer Systems
IEEE Transactions on Software Engineering