@Inproceedings{EPTCS138.1, author = {Majster-Cederbaum, Mila and Semmelrock, Nils}, year = {2013}, title = {Reachability in Cooperating Systems with Architectural Constraints is PSPACE-Complete}, editor = {Wijs, Anton and Bo\v{s}na\v{c}ki, Dragan and Edelkamp, Stefan}, booktitle = {{\rm Proceedings 2nd Workshop on} GRAPH Inspection and Traversal Engineering, {\rm Rome, Italy, March 24, 2013}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {138}, publisher = {Open Publishing Association}, pages = {1-11}, doi = {10.4204/EPTCS.138.1}, }