Milner, Robin
Milner, Robin, 1934-2010
Milner, R. (Robin), 1934-2010
Robin Milner British computer scientist (1934-2010)
Robin Milner British computer scientist
Milner, Robin, 1934-
Milner, Arthur J
VIAF ID: 10415187 (Personal)
Permalink: http://viaf.org/viaf/10415187
Preferred Forms
- 200 _ | ‡a Milner ‡b Robin
-
-
-
- 100 1 _ ‡a Milner, R. ‡q (Robin), ‡d 1934-2010
-
-
- 100 1 _ ‡a Milner, Robin
-
-
- 100 1 _ ‡a Milner, Robin ‡d 1934-2010
-
- 100 1 _ ‡a Milner, Robin, ‡d 1934-2010
-
- 100 0 _ ‡a Robin Milner ‡c British computer scientist
- 100 0 _ ‡a Robin Milner ‡c British computer scientist (1934-2010)
4xx's: Alternate Name Forms (38)
Works
Title | Sources |
---|---|
Automata, languages, and programming : third international colloquium at the University of Edinburgh | |
Bigraphical Reactive Systems | |
Bigraphs and Their Algebra | |
Bigraphs as a Model for Mobile Interaction | |
A calculus of mobile processes | |
Commentary on Standard ML | |
Communicating and mobile systems: the [pi]-calculus | |
Communication and concurrency | |
A complete inference system for a class of regular behaviours | |
Computing tomorrow / edited by Ian Wand and Robin Milner. - Cambridge ; New York, 1996. | |
Computing tomorrow : future research directions in computer science | |
The Definition of Standard ML : (revised) | |
Edinburgh LCF : a mechanised logic of computation | |
Elements of interaction: Turing award lecture | |
Fully abstract models of typed λ-calculi | |
Functions as processes | |
Is Computing an Experimental Science? | |
Journeys in non-classical computation II: initial journeys and waypoints | |
Lcf: A way of doing proofs with a machine | |
The little MLer | |
Logic for computable functions : description of a machine implementation | |
Proof, language, and interaction : essays in honour of Robin Milner | |
Semantics of concurrent computation : papers presented | |
A theory of type polymorphism in programming | |
Understanding ubiquitous computing. | |
Unique decomposition of processes |