Robin Milner
10 published titles
Communication and concurrency
1 edition
- ISBN: 0131149849
- Prentice Hall
- 1989
- Details
The definition of Standard ML
1 edition
- ISBN: 0262631326
- MIT Press
- 1990
- Details
Modal logics for mobile processes
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1991
- Details
Commentary on Standard ML
1 edition
- ISBN: 0262631377
- MIT Press
- 1991
- Details
Action structures
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1992
- Details
Action structures for the [pi]-calculus
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1993
- Details
Computing tomorrow : the future of research in computer science
(Contributor)
1 edition
- ISBN: 0521460859
- Cambridge University Press
- 1996
- Details
The definition of standard ML : (revised)
(Contributor)
1 edition
- ISBN: 0262631814
- MIT Press
- 1997
- Details
Communicating and mobile systems : the [pi (lower case)] -Calculus
1 edition
- ISBN: 0521658691
- Cambridge University Press
- 1999
- Details
Proof, language, and interaction : essays in honour of Robin Milner
(Contributor)
1 edition
- ISBN: 0262161885
- MIT Press
- 2000
- Details
