koyag documents

Proof of criteria for progress in multithreaded environment
Documents Proof of criteria for progress in multithreaded environment