pealkiri
Operational Semantics of Weak Sequential Composition
Nõrga jadakompositsiooni operatsioonsemantika
autor
Maarand, Hendrik
märksõnad
automata theory
language derivatives
generalised Mazurkiewicz traces
normal forms
operational semantics
relaxed memory
dissertations
automaadid
keelte tuletised
üldistatud Mazurkiewiczi jäljed
normaalkujud
operatsioonsemantika
nõrk mälu
dissertatsioonid
doktoritöö järjekorranumber
Doctoral thesis 17/2020
Doktoritöö 17/2020
väljaandja
TalTech Press
TalTech Kirjastus
juhendaja
Uustalu, Tarmo
kaitsmiskuupäev
26.06.2020
identifikaator
https://digikogu.taltech.ee/et/Item/40485316-9724-464b-9428-5686ad3814eb
ISBN 9789949835614 (pdf)
https://doi.org/10.23658/taltech.17/2020
keel
eng
õigused
CC BY-NC-SA
asutus
Tallinn University of Technology
Tallinna Tehnikaülikool
teaduskond
School of Information Technologies
Infotehnoloogia teaduskond
instituut / kolledž
Department of Software Science
Tarkvarateaduse instituut