On a Formal Model of the Tasking Concepts of Ada |
|
| Type | Conference paper [With referee] |
| Conference | ACM SIGPLAN Symposium on the Ada Programming Language |
| Editors | J.W. de Bakker and A.J. Nijman and P.C. Treleaven |
| Year | 1980 pp. 213-222 |
| Note | Published as ACM SIGPLAN Notices, Vol. 15, No. 11. |
| BibTeX data | [bibtex] |
| IMM Group(s) | Computer Science & Engineering |