kth.se
kth.se
Studentwebben
Intranät
kth.se
Studentwebben
Intranät
Logga in
Du måste aktivera JavaScript för att få tillgång till den här sidan.
Global navigationsmeny
ID2203 VT21 (60720)
7.11 Proof of linearizability
Hoppa över till innehåll
Översikt
Logga in
Översikt
Kalender
Inkorg
Historik
Hjälp
Stäng
Min översikt
ID2203 VT21 (60720)
Sidor
7.11 Proof of linearizability
Startsida
Moduler
Uppgifter
Quiz
Kursöversikt
Media Gallery
Course Evaluation
7.11 Proof of linearizability
Slides
Download Slides
Requirements Changed
close
Re-Lock Modules
Continue
Lecture 7 Quiz 5
7.12 (N-N) Sequentially consistent algorithm