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

• Seminar Operating and Distributed Systems
• Seminarium „Teoria automatów”

Pracownicy i doktoranci

• dr Piotr Chrząstowski-Wachtel, prof. UW

  Sieci Petriego, modelowanie przepływu pracy

• dr hab. Wojciech Czerwiński, prof. UW
• dr Piotr Hofman
• dr Agata Janowska

  Protokoły komunikacyjne, teoria współbieżności, automaty czasowe

• prof. dr hab. Sławomir Lasota

  Algebry procesów, równoważność bisymulacyjna, automaty czasowe, sieci Petriego

• dr hab. Marcin Peczarski, prof. UW

  Protokoły komunikacyjne

• dr Jacek Sroka

  Sieci Petriego, modelowanie przepływu prac