Editing Communicating sequential processes (section)

=== Others ===

''VisualNets''<ref>{{cite conference |last1=Green |first1=Mark |first2=Ali |last2=Abdallah |title=Performance Analysis and Behaviour Tuning for Optimisation of Communicating Systems |book-title=Communicating Process Architectures 2002 |date=2002 |url= https://www.researchgate.net/publication/290383042}}</ref> produces animated visualisations of CSP systems from specifications, and supports timed CSP.

''CSPsim''<ref>{{cite conference |last1=Brooke |first1=Phillip |first2=Richard |last2=Paige |title=Lazy Exploration and Checking of CSP Models with CSPsim |book-title=Communicating Process Architectures 2007 |date=2007}}</ref> is a lazy simulator.  It does not model check CSP, but is useful for exploring very large (potentially infinite) systems.

[http://www.principia-m.com/syncstitch/ SyncStitch]  is a CSP refinement checker with interactive modeling and analyzing environment. It has a graphical state-transition diagram editor. The user can model the behavior of processes as not only CSP expressions but also state-transition diagrams. The result of checking are also reported graphically as computation-trees and can be analyzed interactively with peripheral inspecting tools. In addition to refinement checks, It can perform deadlock check and livelock check.