Recognition of Surfaces in Three-Dimensional Digital Images - George M. Reed; Azriel Rosenfeld (Inf. Control., 1982)

On the characterization of simple closed surfaces in three-dimensional digital images. - George M. Reed (Comput. Vis. Graph. Image Process., 1984)

Metric Spaces as Models for Real-Time Concurrency. - George M. Reed; A. W. Roscoe 001 (MFPS, 1987)

A Timed Model for Communicating Sequential Processes. - George M. Reed; A. W. Roscoe 001 (Theor. Comput. Sci., 1988)

A uniform mathematical theory for real-time distributed computing. - George M. Reed (1988)

Analysing TMFS: a Study of Nondeterminism in Real-Time Concurrency. - George M. Reed; A. W. Roscoe 001 (Concurrency: Theory, Language, And Architecture, 1989)

A Hierarchy of Domains for Real-Time Distributed Computing. - George M. Reed (Mathematical Foundations of Programming Semantics, 1989)

Timed CSP: Theory and Practice. - Steve A. Schneider; Jim Davies; D. M. Jackson; George M. Reed; Joy N. Reed; A. W. Roscoe 001 (REX Workshop, 1991)

Automated Formal Analysis of Networks: FDR Models of Arbitrary Topologies and Flow-Control Mechanisms. - Joy N. Reed; D. M. Jackson; Borislav Deianov; George M. Reed (FASE, 1998)

Model-Checking Temporal Behaviour in CSP. - Joël Ouaknine; George M. Reed (PDPTA, 1999)

The Timed Failures-Stability Model for CSP. - George M. Reed; A. W. Roscoe 001 (Theor. Comput. Sci., 1999)

Measurements on domains and topology. - George M. Reed (MFCSIT, 2000)