Long-Term Maintainability of Concurrent Systems

Document synchronization contracts to ensure future modifications do not introduce subtle race conditions.