R. Milner

4 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Communication and Concurrency
R. Milner (1989) · Prentice-Hall, Inc., Upper Saddle River, NJ, USA
Standard ML
R. Harper and others (1986) · Laboratory for Foundations of Computer Science, Department of Computer Science, The University of Edinburgh
On observing nondeterminism and concurrency
M. Hennessy and others (1980) · Springer Berlin Heidelberg
How to derive inductions in LCF
R. Milner (1980) · The University of Edinburgh