| 
|
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
topics >
all references >
references i-l >
Topic:
proving concurrent programs
Topic:
critical regions
Quotation Skeleton
f is a right mover provided than any … , then .alpha.hf is also a computation; moreover, … Essentially, a right mover is a statement that … "resource" … Theorem 1. In any PV parallel program all … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: proving concurrent programs (37 items)
Topic: critical regions (58 items)