Automata-based stream processing

DOI10.4230/LIPICS.ICALP.2017.112zbMATH Open1442.68077OpenAlexW2740745789MaRDI QIDQ5111444FDOQ5111444

Rajeev Alur, Caleb Stanford, Konstantinos Mamouras

Publication date: 27 May 2020

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

Recommendations

• Streamable regular transductions
• Streaming tree automata
• Semantic Foundations for Deterministic Dataflow and Stream Processing
• A survey of stream processing
• Bounded-Memory Stream Processing

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)

Cited In (6)

• Algebraic quantitative semantics for efficient online temporal monitoring
• Semantic Foundations for Deterministic Dataflow and Stream Processing
• Bounded-Memory Stream Processing
• Advances in Databases and Information Systems
• Streamable regular transductions
• Symbolic weighted language models, quantitative parsing and automated music transcription

This page was built for publication: Automata-based stream processing

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5111444)