CS 260r 2017 L18: GPS (4/2)
Email address
Question 1
Which of the following relations must be transitive? sb, mo, rf, sw, hb.
Your answer
Question 2
Why does concurrent separation logic avoid needing protocol assertions (box things)?
Your answer
Submit
Never submit passwords through Google Forms.
This form was created inside of Google Apps for Harvard. Report Abuse - Terms of Service - Additional Terms