Strong Normalisation in the π-Calculus (2001)

by Nobuko Yoshida , Martin Berger , Kohei Honda
Citations:33 - 17 self