BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
lock (1)
opac (1)
jthread (1)
verifi (1)
librari (1)

Stem mutex$ (all stems)

2 papers:

FMFM-2015-DerrickDSTW #transaction #verification
Verifying Opacity of a Transactional Mutex Lock (JD, BD, GS, OT, HW), pp. 161–177.
PPDPPPDP-2015-GrandeBS #concurrent #library #thread
Jthread, a deadlock-free mutex library (JG, GB, MS), pp. 149–160.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.