deleted Process
made a few changes & added spec of ConditionVariable
fixed README.md
fixed ExternalObject
rewrote spec of Mutex
rewriting spec of Semaphore