Updated pseudocode with semaphores.

Included: shared buffer, shared balance variables, fork(), P and V operations.