==== Robin Milner ====

  * [[Pi Calculus]], a formailism for concurrency and mobility
  * ML (the [[Programming Language]])
  * some papers >> http://www.cl.cam.ac.uk/users/rm135/
  * interview >> http://nick.dcs.qmul.ac.uk/~martinb/interviews/milner/