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
Never submit passwords through Google Forms.
This form was created inside of Google Apps for Harvard. Report Abuse - Terms of Service - Additional Terms