Edinburgh Research Archive
Search ERA
Advanced Search
Home
Browse
Communities
& Collections
Issue Date
Author
Title
Subject
Publication Type
Sign on to:
Receive email
updates
My ERA
authorized users
Edit Profile
Help
About DSpace
Edinburgh Research Archive
>
Browsing by Author Milner, Robin
Jump to:
0-9
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
or enter first few letters:
Sort by:
submit date
title
issue date
In order:
Ascending
Descending
Results/Page
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Authors/Record:
All
1
5
10
15
20
25
30
35
40
45
50
Showing results 1 to 6 of 6
Issue Date
Title
Author(s)
Supervisor(s)
1982
Abstract interpretation and optimising transformations for applicative programs
Mycroft, Alan
Burstall, Rod; Milner, Robin
1993
Expressing mobility in process algebras: first-order and higher-order paradigms
Sangiorgi, Davide.
Milner, Robin
1976
Mechanizing Structural Induction
Aubin, Raymond
Milner, Robin; Burstall, Rod; Meltzer, Bernard
1983
Operational approach to semantics and translation for programming languages
Li, Wei
Plotkin, Gordon; Hennessy, Matthew; Milner, Robin
1991
The Polyadic pi-Calculus: A Tutorial
Milner, Robin
-
1982
Semantics, Implementation and Pragmatics of Clear, a Program Specification Language
Sannella, Donald Theodore
Burstall, Rod; Milner, Robin
Showing results 1 to 6 of 6
DSpace Software
Copyright © 2002-2010
Duraspace
-
Feedback
