Advertisement

Barringer & Mearns: Verification of Ada Tasks

Proof Methods For Message-Based Parallelism
Part of the Lecture Notes in Computer Science book series (LNCS, volume 191)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

3.2.1 References

  1. [BM82]
    Barringer, H. and Mearns, I. Axioms and Proof Rules for Ada Tasks IEE PROC., Vol. 129, Pt. E, No. 2, March 1982Google Scholar
  2. [Me81]
    Mearns, I. A Message-based Run-time System and Proof Rules for Ada Tasks M.Sc. Thesis, University of Manchester, Oct. 1981Google Scholar
  3. [Me83]
    Mearns, I. A Denotational Semantics for Concurrent Ada Programs Ph.D. Thesis, University of Manchester, Oct. 1983Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1985

Personalised recommendations