Certified normalization of generalized traces
author
Maarand, Hendrik
Uustalu, Tarmo
statement of authorship
Hendrik Maarand, Tarmo Uustalu
source
Innovations in Systems and Software Engineering
journal volume number month
vol. 15
year of publication
2019
pages
p. 253–265
url
https://doi.org/10.1007/s11334-019-00347-1
subject term
arvutiprogrammid
TalTech subject term
Mazurkiewiczi jälgede teooria
keyword
concurrency
Mazurkiewicz traces
normal forms
relaxed memory
ISSN
1614-5046
notes
Bibliogr.: 23 ref
scientific publication
teaduspublikatsioon
classifier
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
category (general)
Computer science
Arvutiteadus
category (sub)
Computer science. Software
Arvutiteadus. Tarkvara
quartile
Q3
TalTech department
tarkvarateaduse instituut
language
inglise
Reserch Group
High-assurance software laboratory