author : David Walker
2
publications
A calculus of mobile processes, I (Information and Computation, 1992) — Robin Milner, Joachim Parrow, David Walker A calculus of mobile processes, II (Information and Computation, 1992) — Robin Milner, Joachim Parrow, David Walker