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.
Read more about this topic: Communicating Sequential Processes
Famous quotes containing the word related:
“The custard is setting; meanwhile
I not only have my own history to worry about
But am forced to fret over insufficient details related to large
Unfinished concepts that can never bring themselves to the point
Of being, with or without my help, if any were forthcoming.”
—John Ashbery (b. 1927)