Safety Verification of Asynchronous Pushdown Systems with Shaped Stacks.

Jonathan Kochems, C.-H. Luke Ong

Browse the full CONCUR paper archive.