This is an extension of Visual Studio Code to support syntax highlighting for CSPM (machine-readable CSP).
Invented and developed by C. A. R. Hoare, CSP (Communicating Sequential Processes) is a process algebra used to model and study concurrent systems. The University of Oxford has developed a piece of software, called FDR, which assists with modelling and visualization of concurrent systems described in CSP.
Users write scripts containing definitions of processes and assertions to be verified. These are written in CSPM. FDR then reads in the scripts. The users can click buttons to have the program work out the validity of the given assertions. The documentation for CSPM and FDR is available here.