Paper by Chris Köcher and Dietrich Kuske published in the Journal of Computer and System Sciences

TU Ilmenau

The paper “Backwards-reachability for cooperating multi-pushdown systems” by Chris Köcher and Dietrich Kuske was accepted for Publication in Journal of Computer and System Sciences (Volume 148, March 2025, 103601). A preprint is available on  ScienceDirect.