Reordering derivatives of trace closures of regular languages [Online resource]
author
Maarand, Hendrik
Uustalu, Tarmo
statement of authorship
Hendrik Maarand, Tarmo Uustalu
source
30th International Conference on Concurrency Theory : (CONCUR 2019)
location of publication
Saarbrücken/Wadern
publisher
Dagstuhl Publishing
year of publication
2019
pages
art. 40 ; 40:1–40:16
series
Leibniz international proceedings in informatics (LIPIcs) ; 140
conference name, date
30th International Conference on Concurrency Theory : (CONCUR 2019)
url
https://doi.org/10.4230/LIPIcs.CONCUR.2019.40
subject term
tekstitöötlus
mittelineaarsed süsteemid
hajussüsteemid
Scopus
https://www.scopus.com/sourceid/21100244929
https://www.scopus.com/record/display.uri?eid=2-s2.0-85071609227&origin=inward&txGid=744304a9fedf8eba5714cdb0ce382fe3
quartile
Q2
category (general)
Computer science
Arvutiteadus
category (sub)
Computer science. Software
Arvutiteadus. Tarkvara
TalTech subject term
Mazurkiewiczi jälgede teooria
keyword
Mazurkiewicz traces
trace closure
regular languages
finite automata
language derivatives
scattering rank
star-connected expressions
ISSN
1868-8969
ISBN
978-3-95977-121-4
notes
Bibliogr.: 22 ref
scientific publication
teaduspublikatsioon
classifier
3.1
TalTech department
tarkvarateaduse instituut
language
inglise
Reserch Group
High-assurance software laboratory