💾 Archived View for dcreager.net › formal-methods › csp.gmi captured on 2023-11-04 at 11:57:21. Gemini links have been rewritten to link to archived content
-=-=-=-=-=-=-
CSP is a process calculus originally designed by Tony Hoare. It has a model checker called FDR, originally developed and implemented by Bill Roscoe.