Barringer & Mearns: Verification of Ada Tasks
Part of the Lecture Notes in Computer Science book series (LNCS, volume 191)
Proof Methods For Message-Based Parallelism
Unable to display preview. Download preview PDF.
- [BM82]Barringer, H. and Mearns, I. Axioms and Proof Rules for Ada Tasks IEE PROC., Vol. 129, Pt. E, No. 2, March 1982Google Scholar
- [Me81]Mearns, I. A Message-based Run-time System and Proof Rules for Ada Tasks M.Sc. Thesis, University of Manchester, Oct. 1981Google Scholar
- [Me83]Mearns, I. A Denotational Semantics for Concurrent Ada Programs Ph.D. Thesis, University of Manchester, Oct. 1983Google Scholar
© Springer-Verlag Berlin Heidelberg 1985