Research on Mutual Exclusion and Condition Synchronization in Concurrent Programming | IEEE Conference Publication | IEEE Xplore