George M. Reed

Publication Activity (10 Years)

Years Active: 1982-2000
Publications (10 Years): 0

Publications

George M. Reed
Measurements on domains and topology. Electron. Notes Theor. Comput. Sci. 40 (2000)
Joël Ouaknine, George M. Reed
Model-Checking Temporal Behaviour in CSP. PDPTA (1999)
George M. Reed, A. W. Roscoe
The Timed Failures-Stability Model for CSP. Theor. Comput. Sci. 211 (1-2) (1999)
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)
Steve A. Schneider, Jim Davies, D. M. Jackson, George M. Reed, Joy N. Reed, A. W. Roscoe
Timed CSP: Theory and Practice. REX Workshop (1991)
George M. Reed, A. W. Roscoe
: a Study of Nondeterminism in Real-Time Concurrency. Concurrency: Theory, Language, And Architecture (1989)
George M. Reed
A Hierarchy of Domains for Real-Time Distributed Computing. Mathematical Foundations of Programming Semantics (1989)
George M. Reed, A. W. Roscoe
A Timed Model for Communicating Sequential Processes. Theor. Comput. Sci. 58 (1988)
George M. Reed, A. W. Roscoe
Metric Spaces as Models for Real-Time Concurrency. MFPS (1987)
George M. Reed, A. W. Roscoe
A Timed Model for Communicating Sequential Processes. ICALP (1986)
George M. Reed
On the characterization of simple closed surfaces in three-dimensional digital images. Comput. Vis. Graph. Image Process. 25 (2) (1984)
George M. Reed, Azriel Rosenfeld
Recognition of Surfaces in Three-Dimensional Digital Images Inf. Control. 53 (1/2) (1982)