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 VT20 (60854)
compositionality_of_LIN.pdf
Hoppa över till innehåll
Översikt
Logga in
Översikt
Kalender
Inkorg
Historik
Hjälp
Stäng
Min översikt
ID2203 VT20 (60854)
Filer
compositionality_of_LIN.pdf
Startsida
Kursöversikt
Moduler
Quiz
Media Gallery
Course Evaluation
compositionality_of_LIN.pdf
Download compositionality_of_LIN.pdf
(63,2 kB)
7.11 Proof of linearizability
7.12 (N-N) Sequentially consistent algorithm