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

### Instruction:
バイナリセマフォにおける不可分なロックとアンロック操作だけでプロセス間の協調作業を実現することを証明したのは誰か？

### Response:

エドガー・ダイクストラ