title
Operational Semantics of Weak Sequential Composition
Nõrga jadakompositsiooni operatsioonsemantika
author
Maarand, Hendrik
keywords
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
serial number
Doctoral thesis 17/2020
Doktoritöö 17/2020
publisher
TalTech Press
TalTech Kirjastus
supervisor
Uustalu, Tarmo
defence date
26.06.2020
identifier
https://digikogu.taltech.ee/et/Item/40485316-9724-464b-9428-5686ad3814eb
ISBN 9789949835614 (pdf)
https://doi.org/10.23658/taltech.17/2020
language
eng
rights
CC BY-NC-SA
institution
Tallinn University of Technology
Tallinna Tehnikaülikool
faculty
School of Information Technologies
Infotehnoloogia teaduskond
department / college
Department of Software Science
Tarkvarateaduse instituut