Advertisement

Flow & Suzuki: Total correctnes of parallel 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.1.1 References

  1. [FS78a]
    Flon, L. and Suzuki, N. Non-determinism and the correctness of parallel programs Proc. IFIP Working Conf. on the Formal Description of Programming Concepts. (Eric Neuhold, ed). North Holland, Amsterdam, 1978Google Scholar
  2. [FS78b]
    Flon, L. and Suzuki, N. Consistent and Complete Proof Rules for the Total Correctness of Parallel Programs XEROX report: CSL-78-6, November 1978Google Scholar
  3. [FS81]
    Flon, L. and Suzuki, L. The Total Correctness of Parallel Programs SIAM J. Computing. Vol. 10, No. 2, May 1981, pp 227–246Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1985

Personalised recommendations