10415187

Preferred Forms

200 _ | ‎‡a Milner‏ ‎‡b Robin‏
100 1 _ ‎‡a Milner, Arthur J‏
100 1 _ ‎‡a Milner, R.‏ ‎‡q (Robin),‏ ‎‡d 1934-2010‏
100 1 _ ‎‡a Milner, R.‏ ‎‡q (Robin),‏ ‎‡d 1934-2010‏
100 1 _ ‎‡a Milner, R.‏ ‎‡q (Robin),‏ ‎‡d 1934-2010‏
100 1 _ ‎‡a Milner, Robin‏
100 1 _ ‎‡a Milner, Robin‏
100 1 _ ‎‡a Milner, Robin‏
100 1 _ ‎‡a Milner, Robin‏
100 1 _ ‎‡a Milner, Robin‏ ‎‡d (1934-2010).‏
100 1 _ ‎‡a Milner, Robin‏ ‎‡d 1934-2010‏
100 1 _ ‎‡a Milner, Robin,‏ ‎‡d 1934-‏
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 (34)

400 0 _ ‎‡a Artur Con Robin Qorell Milner‏
400 1 _ ‎‡a Milner, Arthur J.‏
400 1 _ ‎‡a Milner, Arthur John Robin Gorell‏
400 1 _ ‎‡a Milner, Arthur John Robin Gorell,‏ ‎‡d 1934-‏
400 1 _ ‎‡a Milner, Arthur John Robin Gorell,‏ ‎‡d 1934-2010‏
400 1 _ ‎‡a Milner, Arthur John Robin Gorell.‏
400 1 _ ‎‡a Milner, Arthur John Robin Gorell‏ ‎‡d 1934-‏
400 1 _ ‎‡a Milner, Arthur John Robin Gorell‏ ‎‡d 1934-2010‏
400 1 _ ‎‡a Milner, R.‏
400 1 _ ‎‡a Milner, R.‏ ‎‡q (Robin)‏
400 1 _ ‎‡a Milner, R.‏ ‎‡q (Robin),‏ ‎‡d 1934-‏
400 1 _ ‎‡a Milner, Robin‏
400 1 _ ‎‡a Milner, Robin,‏ ‎‡d 1934-‏
400 1 _ ‎‡a Milner, Robin,‏ ‎‡d 1934-2010‏
400 1 _ ‎‡a Milner, Robin‏ ‎‡d 1934-2010‏
400 0 _ ‎‡a Robin Milner‏ ‎‡c Brits informaticus (1934-2010)‏
400 0 _ ‎‡a Robin Milner‏ ‎‡c britischer Hochschullehrer, Professor für Informatik und Turingpreisträger‏
400 0 _ ‎‡a Robin Milner‏ ‎‡c britisk ingeniør og informatikar‏
400 0 _ ‎‡a Robin Milner‏ ‎‡c britisk ingeniør og informatiker‏
400 0 _ ‎‡a Robin Milner‏ ‎‡c brittisk ingenjör och datavetare‏
400 0 _ ‎‡a Robin Milner‏ ‎‡c brytyjski informatyk‏
400 0 _ ‎‡a Robin Milner‏ ‎‡c informaticien britannique‏
400 0 _ ‎‡a Robin Milner‏ ‎‡c informatico britannico‏
400 0 _ ‎‡a Robin Milner‏ ‎‡c informático teórico del Reino Unido‏
400 1 _ ‎‡a Милнер, Робин‏
400 0 _ ‎‡a Робин Милнер‏
400 0 _ ‎‡a Робін Мілнер‏
400 0 _ ‎‡a רובין מילנר‏
400 0 _ ‎‡a رابین میلز‏ ‎‡c دانشمند علوم کامپیوتر و مهندس بریتانیایی‏
400 0 _ ‎‡a روبن ميلنر‏
400 0 _ ‎‡a روبن ميلنر‏ ‎‡c عالم كومبيوتر من المملكه المتحده‏
400 0 _ ‎‡a রবিন মিলনার‏
400 0 _ ‎‡a ロビン・ミルナー‏
400 0 _ ‎‡a 罗宾·米尔纳‏

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
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

Selected Co-authors

Tofte, Mads ‎(9)
Harper, Robert ‎(7)
Wadsworth, Christopher P.. ‎(6)
Gordon, Michael J. C. ‎(6)
Friedman, Daniel P.. ‎(5)
Wand, Ian C. (1941-....). ‎(4)
Felleisen, Matthias. ‎(4)
Wand, Ian ‎(3)
Cambridge University Press. ‎(3)
Walker, David ‎(2)

Countries and Regions of Publication (5)

View the list below for more details.

Low

High

The flags indicate which authority file had at least some publications from the country or region:

US - United States (24)
GB - United Kingdom (13)
DE - Germany (13)
NL - Netherlands (1)
KI - Kiribati (1)

Publication Statistics

Selected Publishers (8)

MIT press ‎(21)
Cambridge University Press ‎(21)
Springer-Verlag ‎(15)
Prentice Hall ‎(11)
North-Holland ‎(2)
Laboratory for Foundations of Computer Science, University of Edinburgh ‎(2)
Edinburgh University Press ‎(1)
Computer science department, Stanford University ‎(1)

Record ID	Action	Time
LC\|n 79133739	add	2010-11-16T05:07:56+00:00
BNF\|12483422	add	2010-11-16T05:07:56+00:00
NLA\|000035746607	add	2011-04-18T11:37:37+00:00
NKC\|vut2011653923	add	2011-10-24T04:09:01+00:00
SUDOC\|034037535	add	2011-12-15T07:58:56+00:00
DNB\|128466081	add	2012-02-21T07:28:43+00:00
DNB\|109303733	delete	2012-02-21T07:29:16+00:00
BIBSYS\|x90210333	delete	2012-11-27T04:00:16+00:00
NTA\|074620355	add	2012-12-19T19:11:18+00:00
ISNI\|0000000115599034	add	2014-12-15T16:26:32+00:00
WKP\|Robin_Milner	delete	2015-04-14T18:56:54+00:00
WKP\|Q92643	add	2015-04-14T18:56:54+00:00
DNB\|155842307	delete	2016-02-13T19:03:15.744691+00:00
NUKAT\|n 97010941	add	2016-05-30T07:05:11.211447+00:00
DNB\|185845436	delete	2016-07-31T11:55:39.514945+00:00
BIBSYS\|90210333	add	2017-03-27T20:01:08.323089+00:00
J9U\|987007438177805171	add	2020-02-02T17:12:34.480090+00:00
NLI\|003955504	delete	2020-04-12T14:21:53.032173+00:00
NII\|DA03725531	add	2020-05-10T14:30:31.006065+00:00
RERO\|vtls003596519	delete	2020-06-16T23:45:51.732767+00:00
RERO\|vtls009055901	delete	2020-06-17T03:23:44.132335+00:00
RERO\|A003596519	add	2020-06-17T21:42:49.684777+00:00
CAOONL\|ncf11245017	add	2020-07-14T14:17:24.992672+00:00
RERO\|A009055901	add	2021-10-24T17:00:19.713356+00:00
NTA\|16633460X	delete	2022-02-27T23:10:58.202143+00:00

VIAF

Virtual International Authority File

Search

Milner, Robin, 1934-2010

Milner, Robin

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

4xx's: Alternate Name Forms (34)

Works

Selected Co-authors

Countries and Regions of Publication (5)

Publication Statistics

Publication History

Identifiers

Selected Publishers (8)

About

Personal Information

Gender : Male

Nationality or associated country:

Field of Activity:

Occupation:

Language:

External Links

Record Views

History of VIAF ID:10415187 (25)