BibSLEIGH — reentrant stem

Used together with:

Stem reentrant$ (all stems)

FoSSaCS-2013-BonnetC #bound: Bounded Context-Switching and Reentrant Locking (RB, RC), pp. 65–80.
ECOOP-2013-SvendsenBP #case study #composition #concurrent #higher-order #library #named #specification: Joins: A Case Study in Modular Specification of a Concurrent Reentrant Higher-Order Library (KS, LB, MJP), pp. 327–351.
FoSSaCS-2002-Abraham-MummBRS #concept #java #multi #thread #verification: Verification for Java’s Reentrant Multithreading Concept (EÁM, FSdB, WPdR, MS), pp. 5–20.