BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Germany
1 × Italy
1 × The Netherlands
2 × Spain
4 × United Kingdom
7 × USA
Collaborated with:
O.H.Jensen D.Sangiorgi K.G.Larsen L.Damas M.Hennessy A.Mifsud A.J.Power D.Berry D.N.Turner R.Harper M.Tofte M.J.C.Gordon L.Morris M.C.Newey C.P.Wadsworth
Talks about:
interact (3) concurr (3) function (2) calculus (2) program (2) process (2) graphic (2) calculi (2) bisimul (2) bigraph (2)

Person: Robin Milner

DBLP DBLP: Milner:Robin

Facilitated 1 volumes:

ICALP 1976Ed

Contributed to:

FoSSaCS 20042004
POPL 20032003
ICGT 20022002
POPL 20012001
JICSLP 19981998
ICALP 19971997
LICS 19951995
ESOP 19941994
CSL 19931993
ICALP 19921992
POPL 19921992
ICALP 19901990
ICALP 19871987
LICS 19871987
LFP 19841984
POPL 19821982
ICALP 19801980
POPL 19781978
VDM Europe (1) 19911991
TAPSOFT, Vol.1: AS 19871987
TAPSOFT, Vol.2: CFLP 19871987

Wrote 22 papers:

FoSSaCS-2004-Milner #ubiquitous
Theories for the Global Ubiquitous Computer (RM), pp. 5–11.
POPL-2003-JensenM #graph
Bigraphs and transitions (OHJ, RM), pp. 38–49.
ICGT-2002-Milner #graph #interactive #mobile
Bigraphs as a Model for Mobile Interaction (RM), pp. 8–13.
Computational flux (RM), pp. 220–221.
JICSLP-1998-Milner #π-calculus
The π Calculus and Its Applications (RM), pp. 3–4.
ICALP-1997-Milner #calculus #interactive #visual notation
Graphical Calculi for Interaction (RM), p. 1.
Control Structures (AM, RM, AJP), pp. 188–198.
ESOP-1994-Milner #named #visual notation #π-calculus
Pi-Nets: A Graphical Form of π-Calculus (RM), pp. 26–42.
CSL-1993-Milner #calculus #higher-order
Higher-Order Action Calculi (RM), pp. 238–260.
ICALP-1992-MilnerS #bisimulation
Barbed Bisimulation (RM, DS), pp. 685–695.
POPL-1992-BerryMT #concurrent #ml #semantics
A Semantics for ML Concurrency Primitives (DB, RM, DNT), pp. 119–129.
ICALP-1990-Milner #process
Functions as Processes (RM), pp. 167–180.
ICALP-1987-LarsenM #bisimulation #protocol #using #verification
Verifying a Protocol Using Relativized Bisimulation (KGL, RM), pp. 126–135.
LICS-1987-Milner #fixpoint
Some Uses of Maximal Fixed Points (RM), p. 3.
LFP-1984-Milner #ml #standard
A Proposal for Standard ML (RM), pp. 184–197.
POPL-1982-DamasM #functional #source code
Principal Type-Schemes for Functional Programs (LD, RM), pp. 207–212.
ICALP-1980-HennessyM #concurrent #nondeterminism #on the
On Observing Nondeterminism and Concurrency (MH, RM), pp. 299–309.
POPL-1978-GordonMMNW #interactive #metalanguage #proving
A Metalanguage for Interactive Proof in LCF (MJCG, RM, LM, MCN, CPW), pp. 119–130.
VDME-1991-Milner #concurrent #process
Concurrent Processes as Objects (RM), p. 9.
AS-1987-Milner #proving
Dialogue with a Proof System (RM), pp. 271–275.
A Type Discipline for Program Modules (RH, RM, MT), pp. 308–319.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.