Below is an instruction that describes a task. Write a response that appropriately completes the request.

### Instruction:
誰が論理的観点から、バイナリセマフォにおける不可分なロックとアンロック操作だけで、プロセス間の任意の協調作動を実現できることを証明したか

### Response:

エドガー・ダイクストラ