A formal model of distributed Ada tasking
- 6 October 1982
- proceedings article
- Published by Association for Computing Machinery (ACM)
- p. 224-237
- https://doi.org/10.1145/3304133.3304164
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- A formal model of distributed Ada taskingPublished by Association for Computing Machinery (ACM) ,1982
- Communicating sequential processesCommunications of the ACM, 1978
- MonitorsCommunications of the ACM, 1974