A learning system for the problem of mutual exclusion in multithreaded programming | IEEE Conference Publication | IEEE Xplore