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
Learning Resource Types
notes
Lecture Notes
assignment
Programming Assignments