6.820 | Fall 2015 | Undergraduate

Fundamentals of Program Analysis

Lecture Notes

Axiomatic Semantics for Concurrency: Rely-Guarantee & Concurrent Separation Logic, Lecture 16

Description:

This is a file that contains information regarding axiomatic semantics for concurrency: rely-guarantee & concurrent separation logic.

Resource Type:
Lecture Notes
pdf
632 kB
Axiomatic Semantics for Concurrency: Rely-Guarantee & Concurrent Separation Logic, Lecture 16

Course Info

As Taught In
Fall 2015
Learning Resource Types
Lecture Notes
Programming Assignments