full record print

Reordering derivatives of trace closures of regular languages [Online resource]

author
statement of authorship
Hendrik Maarand, Tarmo Uustalu
source
30th International Conference on Concurrency Theory : (CONCUR 2019)
location of publication
Saarbrücken/Wadern
publisher
year of publication
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
ISSN
1868-8969
ISBN
978-3-95977-121-4
notes
Bibliogr.: 22 ref
scientific publication
teaduspublikatsioon
TalTech department
language
inglise
subject term
TalTech subject term
keyword
Mazurkiewicz traces
trace closure
regular languages
finite automata
language derivatives
scattering rank
star-connected expressions
category (general)
category (sub)
Reserch Group
High-assurance software laboratory
Maarand, H., Uustalu, T. Reordering derivatives of trace closures of regular languages [Online resource] // 30th International Conference on Concurrency Theory : (CONCUR 2019). Saarbrücken/Wadern : Dagstuhl Publishing, 2019. art. 40 ; 40:1–40:16. (Leibniz international proceedings in informatics (LIPIcs) ; 140). https://doi.org/10.4230/LIPIcs.CONCUR.2019.40