Generic forward and backward simulations (2006)

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