On a Formal Model of the Tasking Concepts of Ada

Hans Henrik Løvengreen, Dines Bjørner, J.W. de Bakker (Editor), A.J. Nijman (Editor), P.C. Treleaven (Editor)

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Original languageEnglish
    Title of host publicationACM SIGPLAN Symposium on the Ada Programming Language
    Publication date1980
    Pages213-222
    Publication statusPublished - 1980
    EventACM SIGPLAN Symposium on the Ada Programming Language -
    Duration: 1 Jan 1980 → …

    Conference

    ConferenceACM SIGPLAN Symposium on the Ada Programming Language
    Period01/01/1980 → …

    Cite this

    Løvengreen, H. H., Bjørner, D., de Bakker, J. W. (Ed.), Nijman, A. J. (Ed.), & Treleaven, P. C. (Ed.) (1980). On a Formal Model of the Tasking Concepts of Ada. In ACM SIGPLAN Symposium on the Ada Programming Language (pp. 213-222)