建模使用CSP实施的并发程序

Is there a recognised graphical modelling language for Communicating Sequential Processes?

I'm learning how to implement concurrent programs via CSP using Go. Before I write code I want to explore and model various patterns/designs.

======== EDIT ========

Have starting reading this http://www.usingcsp.com/cspbook.pdf

A little bit off-topic but for my thesis I used a tool framework called TERRA/LUNA which aims for software development for Embedded Control Systems but is used heavily for all sorts of software development at my institute. I don't think there is a " recognised graphical modelling language" yet but TERRA is a graphical CSP and software architecture editor so maybe it'll help checking how they implement CSP graphically. In a nut-shell you've got Readers, Writers and Ports in order to use the CSP channels which connect the CSP processes and you can put them all in a relation to other processes like "parallel" or "sequential". A typical construct could look like this:

There is also material that documents the development of the framework and explains the motivation behind how the implementation was chosen for.