Weak Bisimilarity with Infinite-State Systems Can Be Decided in Polynomial Time.

Antonn Kucera, Richard Mayr

Browse the full CONCUR paper archive.