Advertisement

Lamport: Verification of concurrent programs

Proof Methods For Shared Variable 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.

2.3.1 References

  1. [La80]
    Lamport, L. The ‘Hoare Logic’ of Concurrent Programs Acta Informatica, Vol. 14, pp. 21–37, 1980.CrossRefGoogle Scholar
  2. [OL82]
    Owicki, S.S. and Lamport, L. Proving Liveness Properties of Concurrent Programs ACM Transactions on Programming Languages and Systems, Vol. 4, No. 3, July 1982, pp. 455–495.CrossRefGoogle Scholar
  3. [La79]
    Lamport, L. A New Approach to Proving the Correctness of Multiprocess Programs ACM Transactions on Programming Languages and Systems, Vol. 1, No. 1, July 1979, pp. 84–97.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1985

Personalised recommendations