An efficient algorithm for finding all maximal conflict sets in concurrent programs | IEEE Conference Publication | IEEE Xplore