Intensional and Extensional Characterisation of Global Progress in the π-Calculus.

Luca Fossati, Kohei Honda, Nobuko Yoshida

Browse the full CONCUR paper archive.