To jest stara, nieaktualizowana już wersja portalu wydziałowego. Zapraszamy na www.mimuw.edu.pl.
Wydział MIM Uniwersytet WarszawskiFaculty of MIM University of Warsaw

Wyszukiwarka

Pomiń menu

Współbieżność

Modele systemów współbieżnych, takie jak sieci Petriego, algebry procesów, struktury przyczyn i skutków. Tematy badawcze to weryfikacja, modelowanie przepływu pracy, sprawdzanie równoważności systemów, algebry procesów.

Pracownicy
  • Piotr Chrząstowski-Wachtel
    Sieci Petriego, modelowanie przepływu pracy
  • Ludwik Czaja
    Teoria współbieżności (w szczególności algebry procesów), sieci Petriego, struktury przyczyn i skutków, przesyłanie komunikatów, specyfikacja-konstrukcja-weryfikacja systemów współbieżnych
  • Agata Janowska
    Protokoły komunikacyjne, teoria współbieżności, automaty czasowe
  • Paweł Janowski
    Protokoły komunikacyjne, teoria współbieżności, automaty czasowe
  • Bartosz Klin
    Algebry procesów, metody koalgebraiczne i bialgebraiczne
  • Sławomir Lasota
    Algebry procesów, równoważność bisymulacyjna, automaty czasowe, sieci Petriego
  • Marcin Peczarski
    Protokoły komunikacyjne
  • Jacek Sroka
    Sieci Petriego, modelowanie przepływu prac
  • Artur Zawłocki
    Modele współbieżności, logiki temporalne do specyfikacji i weryfikacji systemów współbieżnych
Dowiązania
Seminaria
  • Seminarium Teoria Automatów
    Cotygodniowe seminarium badawcze
    środy, 14:15, s. 5870
    lista referatów
  • Seminarium Systemy Operacyjne i Rozproszone
    Cotygodniowe seminarium doktoranckie
    wtorki, 18:00, s. 5870
    lista referatów | strona domowa