Decidability Results for Well-Structured Transition Systems with Auxiliary Storage.

Rohit Chadha, Mahesh Viswanathan

Browse the full CONCUR paper archive.