Automata-Based Stream Processing

DOI10.4230/LIPIcs.ICALP.2017.112zbMath1442.68077OpenAlexW2740745789MaRDI QIDQ5111444

Caleb Stanford, Konstantinos Mamouras, Rajeev Alur

Publication date: 27 May 2020

Full work available at URL: https://drops.dagstuhl.de/opus/volltexte/2017/7472/pdf/LIPIcs-ICALP-2017-112.pdf/

zbMATH Keywords

weighted automatastream processingquantitative regular expressions

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Related Items (4)

Semantic Foundations for Deterministic Dataflow and Stream Processing ⋮ Symbolic weighted language models, quantitative parsing and automated music transcription ⋮ Streamable regular transductions ⋮ Algebraic quantitative semantics for efficient online temporal monitoring

This page was built for publication: Automata-Based Stream Processing