230 ;;Quote: structured multi-programming requires disjoint processes that begin and end at the same place; allows sequential analysis cause of independence

QuoteRef: brinP12_1973 ;;230 two processes independent if all changed variables are private (checkable)

QuoteRef: brinP12_1973 ;;234 momentary events not useful cause timing (before-after) very important

QuoteRef: brinP12_1973 ;;237 critical regions -- mutual exclusion: only one process, termination processing region will terminate, fair scheduling: will reach region first (p. 240) eg region v do v ;= v:; end ordering so region v region w ..end

241 ;;Quote: a conditional critical region is entered when some condition is met