1 - 2 / 2 1 |
1. Asinhroni algebrajski učinki Janez Radešček, 2021, magistrsko delo/naloga Ključne besede: asinhrono izvajanje, algebrajski učinki, vzporedno izvajanje, prestrezniki, signali |
2. Operacijska semantika za jezik s časovno omejenimi viri Gašper Žajdela, 2023, magistrsko delo/naloga Ključne besede: lambda račun, časovno omejeni viri, modalni tipi, izrek o varnosti, teorija enačb, skladnost, formalizacija |