Transparent concurrent execution of mutually exclusive alternatives | IEEE Conference Publication | IEEE Xplore