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
Conference proceeding at Scopus
Article at Scopus
kvartiil
Q2
category (general)
Computer science
en
Arvutiteadus
et
category (sub)
Computer science. Software
en
Arvutiteadus. Tarkvara
et
TTÜ 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
TTÜ department
tarkvarateaduse instituut
language
inglise
Uurimisrühm
High-assurance software laboratory