Editing Communicating sequential processes (section)

== Related formalisms ==
Several other specification languages and formalisms have been derived from, or inspired by, the classic untimed CSP, including:
* [https://www.sciencedirect.com/science/article/pii/S1571066106004464/pdf Timed CSP], which incorporates timing information for reasoning about real-time systems
* [https://dx.doi.org/10.1007/BF01178564 Receptive Process Theory], a specialization of CSP that assumes an asynchronous (i.e. [[non-blocking algorithm|nonblocking]]) send operation
* [https://web.archive.org/web/20110514085953/http://www.wotug.org/paperdb/show_pap.php?f=1&num=394 CSPP]
* [https://web.archive.org/web/20110514085958/http://www.wotug.org/paperdb/show_pap.php?f=1&num=395 HCSP]
* [https://web.archive.org/web/20110514234220/http://www.comp.nus.edu.sg/~dongjs/tcoz.html TCOZ], an integration of Timed CSP and [[Object Z]]
* [https://web.archive.org/web/20110514234221/http://www.cs.york.ac.uk/circus/ Circus], an integration of CSP and [[Z specification language|Z]] based on the [[Unifying Theories of Programming]]
* [http://www.compass-research.eu/approach.html CML] {{Webarchive|url= https://web.archive.org/web/20200219205126/http://www.compass-research.eu/approach.html |date=2020-02-19 }} (COMPASS Modelling Language), a combination of [https://web.archive.org/web/20110514234221/http://www.cs.york.ac.uk/circus/ Circus] and [[VDM specification language|VDM]] developed for the modelling of [[System of systems|Systems of Systems]] (SoS)
* [https://web.archive.org/web/20110514234221/http://www.cs.swan.ac.uk/~csmarkus/Papers/cspcasl.ps CspCASL], an extension of [[Common Algebraic Specification Language|CASL]] that integrates CSP
* [[Language Of Temporal Ordering Specification|LOTOS]], an international standard<ref>[[Language Of Temporal Ordering Specification|ISO 8807, Language of Temporal Ordering Specification]]</ref> that incorporates features of CSP and [[Calculus of Communicating Systems|CCS]].
* [https://link.springer.com/chapter/10.1007/978-3-319-05032-4_25 PALPS], a probabilistic extension with locations for ecological models developed by Anna Philippou and Mauricio Toro Bermúdez