Generic forward and backward simulations (2006)

Cached

Download Links

by Ichiro Hasuo , Ichiro Hasuo
Venue:International Conference on Concurrency Theory (CONCUR 2006), volume 4137 of Lect. Notes Comp. Sci
Citations:11 - 3 self