Operational semantics with semicommutations
author
Maarand, Hendrik
Uustalu, Tarmo
statement of authorship
Hendrik Maarand, Tarmo Uustalu
source
Journal of logical and algebraic methods in programming
publisher
Elsevier
journal volume number month
vol. 121
year of publication
2021
pages
art. 100677, 27 p
url
https://doi.org/10.1016/j.jlamp.2021.100677
subject term
programmeerimine
semantika
matemaatiline loogika
keyword
Operational semantics
Derivatives of regular expressions
Mazurkiewicz traces
Concurrency
Relaxed memory
ISSN
2352-2208
notes
Bibliogr.: 38 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)
Mathematics
en
Computer science
en
Matemaatika
et
Arvutiteadus
et
category (sub)
Mathematics. Logic
en
Computer science. Computational theory and mathematics
en
Mathematics. Theoretical computer science
en
Computer science. Software
en
Matemaatika. Loogika
et
Arvutiteadus. Arvutusteooria ja matemaatika
et
Matemaatika. Teoreetiline arvutiteadus
et
Arvutiteadus. Tarkvara
et
kvartiil
Q1
TTÜ department
tarkvarateaduse instituut
language
inglise
Uurimisrühm
High-assurance software laboratory