Strong Normalisation in the π-Calculus (2001)

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