print

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
Computer science
category (sub)
Mathematics. Logic
Computer science. Computational theory and mathematics
Mathematics. Theoretical computer science
Computer science. Software
kvartiil
Q1
TTÜ department
tarkvarateaduse instituut
language
inglise
Uurimisrühm
High-assurance software laboratory
Maarand, H., Uustalu, T. Operational semantics with semicommutations // Journal of logical and algebraic methods in programming (2021) vol. 121, art. 100677, 27 p. https://doi.org/10.1016/j.jlamp.2021.100677