| 2000 |
|---|
| 12 | EE | George M. Reed:
Measurements on domains and topology.
Electr. Notes Theor. Comput. Sci. 40: (2000) |
| 1999 |
|---|
| 11 | | Joël Ouaknine,
George M. Reed:
Model-Checking Temporal Behaviour in CSP.
PDPTA 1999: 295-304 |
| 10 | EE | George M. Reed,
A. W. Roscoe:
The Timed Failures-Stability Model for CSP.
Theor. Comput. Sci. 211(1-2): 85-127 (1999) |
| 1998 |
|---|
| 9 | EE | Joy N. Reed,
D. M. Jackson,
B. Deianov,
George M. Reed:
Automated Formal Analysis of Networks: FDR Models of Arbitrary Topologies and Flow-Control Mechanisms.
FASE 1998: 239-254 |
| 1991 |
|---|
| 8 | | Steve Schneider,
Jim Davies,
D. M. Jackson,
George M. Reed,
Joy N. Reed,
A. W. Roscoe:
Timed CSP: Theory and Practice.
REX Workshop 1991: 640-675 |
| 1989 |
|---|
| 7 | | George M. Reed,
A. W. Roscoe:
Analysing TMFS: a Study of Nondeterminism in Real-Time Concurrency.
Concurrency: Theory, Language, And Architecture 1989: 36-63 |
| 6 | | George M. Reed:
A Hierarchy of Domains for Real-Time Distributed Computing.
Mathematical Foundations of Programming Semantics 1989: 80-128 |
| 1988 |
|---|
| 5 | | George M. Reed,
A. W. Roscoe:
A Timed Model for Communicating Sequential Processes.
Theor. Comput. Sci. 58: 249-261 (1988) |
| 1987 |
|---|
| 4 | | George M. Reed,
A. W. Roscoe:
Metric Spaces as Models for Real-Time Concurrency.
MFPS 1987: 331-343 |
| 1986 |
|---|
| 3 | | George M. Reed,
A. W. Roscoe:
A Timed Model for Communicating Sequential Processes.
ICALP 1986: 314-323 |
| 1984 |
|---|
| 2 | EE | George M. Reed:
On the characterization of simple closed surfaces in three-dimensional digital images.
Computer Vision, Graphics, and Image Processing 25(2): 226-235 (1984) |
| 1982 |
|---|
| 1 | | George M. Reed,
Azriel Rosenfeld:
Recognition of Surfaces in Three-Dimensional Digital Images
Information and Control 53(1/2): 108-120 (1982) |
