A Robust Theory of Series Parallel Graphs

Motivated by distributed data processing applications, we introduce a class of labeled directed acyclic graphs constructed using sequential and parallel composition operations, and study automata and logics over them. We show that deterministic and non-deterministic acceptors over such graphs have t...

Celý popis

Podrobná bibliografie

Vydáno v:	Proceedings of ACM on programming languages Ročník 7; číslo POPL; s. 1058 - 1088
Hlavní autoři:	Alur, Rajeev, Stanford, Caleb, Watson, Christopher
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	New York, NY, USA ACM 09.01.2023
Témata:	Data streaming Formal languages and automata theory Information systems Theory of computation regular languages logic in computer science series-parallel graphs distributed stream processing
ISSN:	2475-1421, 2475-1421
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!