Nie jesteś zalogowany | zaloguj się

Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego

  • Skala szarości
  • Wysoki kontrast
  • Negatyw
  • Podkreślenie linków
  • Reset

Modele współbieżności

Opis

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.

Seminaria

Pracownicy i doktoranci