An IDE for CSP (Communicating Sequential Processes) based on eclipse IDE.
References
[1] Using CSP http://www.usingcsp.com/
[2] FDR 2 https://www.cs.ox.ac.uk/projects/concurrency-tools/fdr-2.94-html-manual/index.html
[3] FDR 3 https://www.cs.ox.ac.uk/projects/fdr/
[4] PAT http://pat.comp.nus.edu.sg/