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
https://www.scopus.com/sourceid/300147006
https://www.scopus.com/record/display.uri?eid=2-s2.0-85067808291&origin=inward&txGid=d669738c0007c9065fbd329ad93c7251
WOS
https://jcr.clarivate.com/jcr-jp/journal-profile?journal=INNOV%20SYST%20SOFTW%20ENG&year=2022
https://www.webofscience.com/wos/woscc/full-record/WOS:000482389700006
kategooria (üld)
Computer science
Arvutiteadus
kategooria (alam)
Computer science. Software
Arvutiteadus. Tarkvara
kvartiil
Q3
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise
Uurimisrühm
Tugevalt tagatud tarkvara laboratoorium