Certified normalization of generalized traces
autor
Maarand, Hendrik
Uustalu, Tarmo
vastutusandmed
Hendrik Maarand, Tarmo Uustalu
allikas
Innovations in Systems and Software Engineering
ajakirja aastakäik number kuu
vol. 15
ilmumisaasta
2019
leheküljed
p. 253–265
leitav
https://doi.org/10.1007/s11334-019-00347-1
märksõna
arvutiprogrammid
TTÜ märksõna
Mazurkiewiczi jälgede teooria
võtmesõna
concurrency
Mazurkiewicz traces
normal forms
relaxed memory
ISSN
1614-5046
märkused
Bibliogr.: 23 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
1.1
Scopus
Journal metrics at Scopus
Article at Scopus
WOS
Journal metrics at WOS
Article at WOS
kategooria (üld)
Computer science
en
Arvutiteadus
et
kategooria (alam)
Computer science. Software
en
Arvutiteadus. Tarkvara
et
kvartiil
Q3
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise
Uurimisrühm
Tugevalt tagatud tarkvara laboratoorium