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
Instructor
Departments
As Taught In
Fall
2015
Level
Course Info
Instructor
Departments
As Taught In
Fall
2015
Level
Learning Resource Types
notes
Lecture Notes
assignment
Programming Assignments
