The PyCSP project is an on-going project to bring CSP (Communicating Sequential Processes) to Python.

It was started in 2006 and has been updated about every three month. Bug reports and suggestions for new features are most welcome.

The best way to get started on PyCSP is through the tutorials:

• First Glimpse
• Installation and Basics
• Buffering and External Choice
• Controlling Termination
• A Scalable Webserver
• The Trace Module
• Some Syntactic Sugar

Example:

import sys
from pycsp import *

@process
def source(chan_out):
    for i in range(10):
        chan_out("Hello world (%d)\n" % (i))
    retire(chan_out)
    
@process
def sink(chan_in):
    while True:
        sys.stdout.write(chan_in())

chan = Channel()
Parallel(
    5 * source(-chan),
    5 * sink(+chan)
)

Related publications:

• Friborg, Rune Møllegaard ; Vinter, Brian. Verification of a Dynamic Channel Model using the SPIN Model Checker. Communicating Process Architectures 2011 : WoTUG-33, Proceedings of the 33st WoTUG Technical Meeting (CPA-11). Limerick, Ireland.

• Friborg, Rune Møllegaard ; Vinter, Brian. Rapid development of scalable scientific software using a process oriented approach. Journal of Computational Science

• Friborg, Rune Møllegaard ; Vinter, Brian ; Bjørndalen, John Markus. PyCSP - controlled concurrency. International Journal of Information Processing and Management, Volume 1, Number 2, October 2010

• Vinter, Brian ; Bjørndalen, John Markus ; Friborg, Rune Møllegaard. PyCSP Revisited. Communicating Process Architectures 2009 : WoTUG-32, Proceedings of the 32st WoTUG Technical Meeting (CPA-09). Eindhoven, The Netherlands.

• Friborg, Rune Møllegaard ; Bjørndalen, John Markus ; Vinter, Brian. Three Unique Implementations of Processes for PyCSP. Communicating Process Architectures 2009 : WoTUG-32, Proceedings of the 32st WoTUG Technical Meeting (CPA-09). Eindhoven, The Netherlands.

• Friborg, Rune Møllegaard ; Vinter, Brian. CSPBuilder - CSP based Scientific Workflow Modelling. Communicating Process Architectures 2008 : WoTUG-31, Proceedings of the 31st WoTUG Technical Meeting (CPA-08). York, UK.

• Bjørndalen, John Markus ; Sampson, Adam T. Process-Oriented Collective Operations. Communicating Process Architectures 2008 : WoTUG-31, Proceedings of the 31st WoTUG Technical Meeting (CPA-08). York, UK.

• Bjørndalen, John Markus ; Vinter, Brian ; Anshus, Otto. PyCSP - Communicating Sequential Processes for Python. Communicating Process Architectures 2007 : WoTUG-30, Proceedings of the 30st WoTUG Technical Meeting (CPA-07). Surrey, UK.