An Extension of Pushdown System and Its Model Checking Method.

Naoya Nitta, Hiroyuki Seki

Browse the full CONCUR paper archive.