3 ms·
Truly wonderful story and brought back a lot of memories because my 1992 DPhil thesis is in a combination of CSP and occam: https://blog.jgc.org/2024/03/the-for
by jgrahamc 2y ago
Truly wonderful story and brought back a lot of memories because my 1992 DPhil thesis is in a combination of CSP and occam: https://blog.jgc.org/2024/03/the-formal-development-of-secure.html https://blog.jgc.org/2024/03/the-formal-development-of-secur...