| 
|
QuoteRef: lampL7_1990
topics >
all references >
ThesaHelp:
references i-l
ThesaHelp:
ACM references f-l
Topic:
proving concurrent programs
Reference
Lamport, L. , "win and sin Predicate transformers for concurrency ", ACM Transactions on Programming Languages and Systems , 12 , 3 , pp. 396-428 , July 1990 . Google
abstract ;;Quote: for reasoning about concurrent programs, replace weakest precondition and strongest postcondition with weakest and strongest invariants
ThesaHelp: references i-l (342 items)
ThesaHelp: ACM references f-l (241 items)
Topic: proving concurrent programs (37 items)