Showing 1 - 20 results of 27 for search 'Reed, G', query time: 0.05s
Refine Results
-
1
-
2
-
3
-
4
-
5
A timed model for communicating sequential processes by Roscoe, A, Reed, G
Published 1988Journal article -
6
-
7
Metric spaces as models for real−time concurrency by Roscoe, A, Reed, G
Published 1988Conference item -
8
Analysing TM_FS: a study of nondeterminism in real−time concurrency by Roscoe, A, Reed, G
Published 1991Journal article -
9
A timed model for communicating sequential processes by Roscoe, A, Reed, G
Published 1986Conference item -
10
-
11
The successes and failures of behavioural models by Roscoe, A, Forster, R, Reed, G
Published 2000Book section -
12
-
13
A temporal logic for Timed CSP by Jackson, D, Davies, J, Reed, G, Schneider, S
Published 1990Report -
14
A lattice of conditions on topological spaces II by Roscoe, A, Moody, P, Reed, G, Collins, P
Published 1991Journal article -
15
A lattice of conditions on topological spaces by Roscoe, A, Collins, P, Reed, G, Rudin, M
Published 1985Journal article -
16
Communication and correctness in Timed CSP by Roscoe, A, Schneider, S, Davies, J, Jackson, D, Reed, G
Published 1990Report -
17
Star covering properties by Roscoe, A, van Douwen, E, Reed, G, Tree, I
Published 1991Journal article -
18
Timed CSP: Theory and Practice by Schneider, S, Davies, J, Jackson, D, Reed, G, Reed, J, Roscoe, A
Published 1991Conference item -
19
-
20