[[
robin_milner
]]
the libarynth
Trace:
•
public_domain
•
python_notes
•
quantum_theory
•
reading_notes
•
reprap
•
research_report_sanjeev-shankar
•
research_report_theun_karelse
•
resgat200610
•
retropsychokinesis
•
robin_milner
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/
robin_milner.txt · Last modified: 2007/06/18 18:07 (external edit)
