Weak bisimilarity with infinite-state systems can be decided in polynomial time (1999)

Cached

Download Links

by Antonín Kučera , Richard Mayr
Venue:In Proc. of CONCUR'99, volume 1664 of LNCS
Citations:8 - 5 self