Ł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)

Afiliacja

Uniwersytet Warszawski

W zakresie

informatyki

Status

Przyznana

Data nadania

21 marca 2024

Recenzenci

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

Dokumenty

• Uchwała