Stem mutex$ (all stems)

2 papers:

FM-2015-DerrickDSTW #transaction #verification

Verifying Opacity of a Transactional Mutex Lock (JD, BD, GS, OT, HW), pp. 161–177.

PPDP-2015-GrandeBS #concurrent #library #thread

Jthread, a deadlock-free mutex library (JG, GB, MS), pp. 149–160.