Operational semantics with semicommutations
autor
Maarand, Hendrik
Uustalu, Tarmo
vastutusandmed
Hendrik Maarand, Tarmo Uustalu
allikas
Journal of logical and algebraic methods in programming
kirjastus/väljaandja
Elsevier
ajakirja aastakäik number kuu
vol. 121
ilmumisaasta
2021
leheküljed
art. 100677, 27 p
leitav
https://doi.org/10.1016/j.jlamp.2021.100677
märksõna
programmeerimine
semantika
matemaatiline loogika
võtmesõna
Operational semantics
Derivatives of regular expressions
Mazurkiewicz traces
Concurrency
Relaxed memory
ISSN
2352-2208
märkused
Bibliogr.: 38 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
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
kategooria (üld)
Mathematics
Computer science
Matemaatika
Arvutiteadus
kategooria (alam)
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
kvartiil
Q1
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise
Uurimisrühm
Tugevalt tagatud tarkvara laboratoorium