Reachability in Tree-Like Component Systems is PSPACE-Complete

Mila E. Majster-Cederbaum, Nils Semmelrock. Reachability in Tree-Like Component Systems is PSPACE-Complete. Electronic Notes in Theoretical Computer Science, 263:197-210, 2010. [doi]

Abstract

Abstract is missing.