10 treff

Milner Robin
Communicating and mobile systems : the π-calculus
Robin Milner
Bok Engelsk 1999
Commentary on Standard ML
Robin Milner and Mads Tofte
Bok Engelsk 1991
The definition of Standard ML
Robin Milner, Mads Tofte, and Robert Harp...
Bok Engelsk 1990
Communication and concurrency
Robin Milner
Bok Engelsk 1989
A calculus of communicating systems
Robin Milner
Bok Engelsk 1980
Logic for computable functions : description of a machine implementation
by Robin Milner
Bok Engelsk 1972
A glossary of words used in the neighbourhood of Whitby
Robinson, F.K.
Bok Engelsk 1965
Computing tomorrow : future research directions in computer science
edited by Ian Wand and Robin Milner
Bok Engelsk 1996
The Definition of Standard ML : (revised)
Robin Milner ... [et al.]
Bok Engelsk 1997
Edinburgh LCF : a mechanised logic of computation
Gordon, Michael J. C.
Bok Språk ikke angitt 1979