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...

Full description

Bibliographic Details

Published in:	Proceedings of ACM on programming languages Vol. 7; no. POPL; pp. 1058 - 1088
Main Authors:	Alur, Rajeev, Stanford, Caleb, Watson, Christopher
Format:	Journal Article
Language:	English
Published:	New York, NY, USA ACM 09.01.2023
Subjects:	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
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!