1
Published 1987
Springer Berlin Heidelberg
Table of Contents: ... -- Completeness results for reachability, containment, and equivalence, with respect to conflict-free vector...