Anna Kobusińska
Algorytmy Rozproszone
Contact
Zagadnienia:
- Niezawodne rozgłaszanie: [teoria.pdf ] [zadania.pdf ] [TLA_dowod_poprawnosci.pdf ]
- Modele spójności:
- Wzajemne wykluczanie: [ algorytmy.pdf ]
- specyfikacje modeli zorientowanych na dane [ DSM.pdf ]
- specyfikacje modeli zorientowanych na klienta [ SG.pdf ]
- zależności pomiędzy SG a zorientowanymi DSM - dr inż. D.Wawrzyniak [ SG vs DSM.pdf ]
- modele spójności - zadania [ zadania.pdf ]
- modele spójności - dowody [ dowody.pdf ]
- Algorytm Maekawa [ Maekawa.pdf ]
- Algorytmy - wykład [ Algorytmy_wyklad.pdf ]
Anna Kobusińska
PhD, DSc.
Institute of Computing Science
Poznan University of Technology
Piotrowo 2,
60-965 Poznan, Poland
Office:
Centrum Wykładowe PP, room 4
tel: (+48 61) 665-29-64
fax: (+48 61) 877-15-25
E-mail:
Anna.Kobusinska [at] cs.put.poznan.pl