Łukasz Mikulski

Zdefiniowanie i zbadanie własności systemu powiązanych ze sobą modeli dla procesów współbieżnych spełniającego tylko najbardziej ogólny paradygmat w semantyce krokowej (cykl publikacji)

Affiliation

Uniwersytet Warszawski

Field

informatics

Status

Accepted

Awarding date

March 21, 2024

Reviewers

prof. Marek Zaionc (Uniwersytet Jagielloński w Krakowie); prof. Jerzy Marcinkowski (Uniwersytet Wrocławski); prof. Volker Diekert (Uniwersytet w Stattgarcie)

Documents

• Faculty resolution