Generic Forward and Backward Simulations III: Quantitative Simulations by Matrices.

Natsuki Urabe, Ichiro Hasuo

Browse the full CONCUR paper archive.