Concurrency

Description

Models of concurrent systems, including true concurrency and interleaving approach, such as Petri nets, process algebras, cause-effect structures. The research topics cover verification, workflow modeling, equivalence checking, process algebras.

Seminars

• Seminar Operating and Distributed Systems
• Seminar Automata Theory

Employees and PhD students

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

  Petri nets, workflow modeling

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

  Communication protocols, concurrency theory, timed automata

• prof. dr hab. Sławomir Lasota

  Process algebras, bisimulation equivalence, timed automata, Petri nets

• dr hab. Marcin Peczarski, prof. UW

  Communication protocols

• dr Jacek Sroka

  Petri nets, workflow modelling