DMCA

Strong Normalisation in the π-Calculus (2001)

by Nobuko Yoshida , Martin Berger , Kohei Honda
Citations:34 - 18 self