Lamport: Verification of concurrent programs
Part of the Lecture Notes in Computer Science book series (LNCS, volume 191)
Proof Methods For Shared Variable Parallelism
Unable to display preview. Download preview PDF.
- [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
© Springer-Verlag Berlin Heidelberg 1985