Role Safety in a Flexible Read-Write Abortion Protocol | IEEE Conference Publication | IEEE Xplore