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/