Communicating Sequential Processes - Related Formalisms

Related Formalisms

Several other specification languages and formalisms have been derived from, or inspired by, the classic untimed CSP, including:

• Timed CSP, which incorporates timing information for reasoning about real-time systems
• Receptive Process Theory, a specialization of CSP that assumes an asynchronous (i.e. nonblocking) send operation
• CSPP
• HCSP
• Wright, an architecture description language
• TCOZ, an integration of Timed CSP and Object Z
• Circus, an integration of CSP and Z based on the Unifying Theories of Programming
• CspCASL, an extension of CASL that integrates CSP
• LOTOS, an international standard that incorporates the best features of CSP and CCS.