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
TTÜ 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
Journal metrics at Scopus
Article at Scopus
WOS
Journal metrics at WOS
Article at WOS
category (general)
Computer science
en
Arvutiteadus
et
category (sub)
Computer science. Software
en
Arvutiteadus. Tarkvara
et
kvartiil
Q3
TTÜ department
tarkvarateaduse instituut
language
inglise
Uurimisrühm
High-assurance software laboratory