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:
“In the middle years of childhood, it is more important to keep alive and glowing the interest in finding out and to support this interest with skills and techniques related to the process of finding out than to specify any particular piece of subject matter as inviolate.”
—Dorothy H. Cohen (20th century)