Strong Normalisation in the π-Calculus (2001)

by Nobuko Yoshida , Martin Berger , Kohei Honda
Citations:30 - 15 self

Document Versions

Strong Normalisation in the π-Calculus –Nobuko Yoshida, Martin Berger, Kohei Honda — 2001
Strong Normalisation in the π-Calculus –Nobuko Yoshida , Martin Berger, Kohei Honda — 2001
Strong Normalisation in the π-Calculus –Nobuko Yoshida , Martin Berger, Kohei Honda — 2001