diff --git a/concurrency/hoare1978csp.pdf b/concurrency/hoare1978csp.pdf
new file mode 100644
index 0000000..15f2af4
Binary files /dev/null and b/concurrency/hoare1978csp.pdf differ