On a formal model of the tasking concept in Ada
- 1 November 1980
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 15 (11) , 213-222
- https://doi.org/10.1145/947783.948662
Abstract
No abstract availableThis publication has 3 references indexed in Scilit:
- Preliminary Ada reference manualACM SIGPLAN Notices, 1979
- Communicating sequential processesCommunications of the ACM, 1978
- The Vienna Development Method: The Meta-LanguageLecture Notes in Computer Science, 1978