The SharedLockable requirements describe the minimal characteristics of types that provide shared blocking semantics for execution agents (i.e. threads).

The TimedLockable requirements describe the characteristics of types that provide timed exclusive blocking semantics for execution agents