full record print

Operational semantics with semicommutations

author
statement of authorship
Hendrik Maarand, Tarmo Uustalu
source
publisher
journal volume number month
vol. 121
year of publication
pages
art. 100677, 27 p
url
ISSN
2352-2208
notes
Bibliogr.: 38 ref
scientific publication
teaduspublikatsioon
language
inglise
subject term
keyword
Operational semantics
Derivatives of regular expressions
Mazurkiewicz traces
Concurrency
Relaxed memory
Reserch Group
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