Tony Hoare's Communicating Sequential Processes (Chapter 1)

In this video, we view the chapter 1 of Tony Hoare's book communicating sequential processes through the lens of Agda. We solve Die Hard problem again, this time using CSP formalism.

0:00 - Tony Hoare and CSP
1:50 - Alphabet
2:45 - Process
5:34 - Prefix
7:46 - choice
8:45 - Trace
11:45 - Die Hard with vengeance revisited

**References**:
CSP Book: https://antares.sip.ucm.es/~luis/doctorado06-07/cspbook.pdf , https://www.amazon.in/s?k=Communicating%20sequential%20Processes
CSP Origin Story : https://www.youtube.com/watch?v=QUOlyIHmBrM
Turing Award Lecture: https://www.labouseur.com/projects/codeReckon/papers/The-Emperors-Old-Clothes.pdf
Code: https://github.com/kapilash/Agdventures/tree/main/Episodes/CSP
Tony Hoare Image Credit: https://en.wikipedia.org/wiki/Tony_Hoare