| 
|
QuoteRef: liptRJ12_1975
topics >
all references >
Topic:
proving concurrent programs
Topic:
critical regions
Reference
Lipton, R.J., "Reduction: a method of proving programs of parallel programs", Communications of the ACM, 18, 12, December 1975, pp. 717-721. Google
717 ;;Quote: when does a property hold whether or not a statement is interruptible?
719 ;;Quote: a right mover is a "release" [V] that can move later in an interleaving; a left mover is a "seize" [P] that can move earlier
720 ;;Quote: for proofs, can treat a sequence as atomic if it consists of right movers (V) followed by left movers (P)
Topic: proving concurrent programs (37 items)
Topic: critical regions (58 items)