Extending CSP: denotational semantics
- 1 January 2003
- journal article
- Published by Institution of Engineering and Technology (IET) in IEE Proceedings - Software
- Vol. 150 (2) , 51-60
- https://doi.org/10.1049/ip-sen:20030128
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- The Origin of Concurrent ProgrammingPublished by Springer Nature ,2002
- A formal definition of priority in CSPACM Transactions on Programming Languages and Systems, 1993
- Communicating sequential processesCommunications of the ACM, 1978