On a Formal Model of the Tasking Concepts of Ada



TypeConference paper [With referee]
ConferenceACM SIGPLAN Symposium on the Ada Programming Language
EditorsJ.W. de Bakker and A.J. Nijman and P.C. Treleaven
Year1980    pp. 213-222
NotePublished as ACM SIGPLAN Notices, Vol. 15, No. 11.
BibTeX data [bibtex]
IMM Group(s)Computer Science & Engineering