CS 260r 2017 L18: GPS (4/2)
Sign in to Google to save your progress. Learn more
Question 1 *
Which of the following relations must be transitive? sb, mo, rf, sw, hb.
Question 2 *
Why does concurrent separation logic avoid needing protocol assertions (box things)?
Submit
Clear form
Never submit passwords through Google Forms.
This form was created inside of Google Apps for Harvard.

Does this form look suspicious? Report

Google Forms