Forwards- and Backwards-Reachability for Cooperating Multi-pushdown Systems

Published: 01 Jan 2023, Last Modified: 15 May 2024FCT 2023EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: A cooperating multi-pushdown system consists of a tuple of pushdown systems that can delegate the execution of recursive procedures to sub-tuples; control returns to the calling tuple once all sub-tuples finished their task. This allows the concurrent execution since disjoint sub-tuples can perform their task independently. Because of the concrete form of recursive descent into sub-tuples, the content of the multi-pushdown does not form an arbitrary tuple of words, but can be understood as a Mazurkiewicz trace.
Loading