win and sin: Predicate Transformers for Concurrency

@article{Lamport1990winAS,
  title={win and sin: Predicate Transformers for Concurrency},
  author={Leslie Lamport},
  journal={ACM Trans. Program. Lang. Syst.},
  year={1990},
  volume={12},
  pages={396-428}
}
The <italic>weakest liberal precondition</italic> and <italic>strongest postcondition</italic> predicate transformers are generalized to the <italic>weakest invariant</italic> and <italic>strongest invariant</italic>. These new predicate transformers are useful for reasoning about concurrent programs containing operations in which the grain of atomicity is unspecified. They can also be used to replace behavioral arguments with more rigorous assertional ones. 
Highly Cited
This paper has 71 citations. REVIEW CITATIONS

2 Figures & Tables

Topics

Statistics

0510'90'93'96'99'02'05'08'11'14'17
Citations per Year

72 Citations

Semantic Scholar estimates that this publication has 72 citations based on the available data.

See our FAQ for additional information.