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
https://www.scopus.com/sourceid/21100403130
https://www.scopus.com/record/display.uri?eid=2-s2.0-85104417236&origin=inward&txGid=06cb22366fc447c4b2b53c7efef0f855
WOS
https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20LOG%20ALGEBR%20METHODS&year=2022
https://www.webofscience.com/wos/woscc/full-record/WOS:000653017200003
category (general)
Mathematics
Computer science
Matemaatika
Arvutiteadus
category (sub)
Mathematics. Logic
Computer science. Computational theory and mathematics
Mathematics. Theoretical computer science
Computer science. Software
Matemaatika. Loogika
Arvutiteadus. Arvutusteooria ja matemaatika
Matemaatika. Teoreetiline arvutiteadus
Arvutiteadus. Tarkvara
quartile
Q1
TalTech department
tarkvarateaduse instituut
language
inglise
Reserch Group
High-assurance software laboratory