PyCSP - Python CSP Library
PyCSP is a CSP library for Python that implements core CSP functionality with some extensions from pi-calculus.
Multiple process types such as, greenlets, threads, processes and remote processes
Both input and output guards supported in external choice (Alts)
A single any-to-any channel type
Retire and poison signals for shutting down networks nicely
A channel which can communicate using inter-process communication as well as sockets.
A PyCSP providing local and distributed communication using only standard python modules bundled with CPython
Tracing PyCSP executions to a log file, for later visualisation
See https://github.com/runefriborg/pycsp/wiki for more information.
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.