The NIL distributed systems programming language
- 1 May 1985
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 20 (5), 36-44
- https://doi.org/10.1145/988327.988333
Abstract
No abstract availableThis publication has 9 references indexed in Scilit:
- Specifying Concurrent Program ModulesACM Transactions on Programming Languages and Systems, 1983
- Mechanisms for compile-time enforcement of securityPublished by Association for Computing Machinery (ACM) ,1983
- On the composition of processesPublished by Association for Computing Machinery (ACM) ,1982
- Verifying Concurrent Processes Using Temporal LogicLecture Notes in Computer Science, 1982
- Proofs of Networks of ProcessesIEEE Transactions on Software Engineering, 1981
- A Proof System for Communicating Sequential ProcessesACM Transactions on Programming Languages and Systems, 1980
- A Calculus of Communicating SystemsLecture Notes in Computer Science, 1980
- Communicating sequential processesCommunications of the ACM, 1978
- A relational model of data for large shared data banksCommunications of the ACM, 1970