On the semantics of control statements
- 1 November 1979
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 14 (11) , 84-96
- https://doi.org/10.1145/988056.988065
Abstract
No abstract availableThis publication has 8 references indexed in Scilit:
- Some definitions for algebraic data type specificationsACM SIGPLAN Notices, 1979
- Synchronization with eventcounts and sequencersCommunications of the ACM, 1979
- SP-GrammarsACM SIGPLAN Notices, 1979
- An event-driven compiling techniqueCommunications of the ACM, 1979
- Communicating sequential processesCommunications of the ACM, 1978
- Time, clocks, and the ordering of events in a distributed systemCommunications of the ACM, 1978
- Software Descriptions with Flow ExpressionsIEEE Transactions on Software Engineering, 1978
- Guarded Commands, Nondeterminacy, and Formal Derivation of ProgramsPublished by Springer Nature ,1978