George M. Reed

13 papers A* 1B 3Misc 1Journal 4Unranked 3
YearRankTypeTitle / Venue / Authors
2000 — conf
Measurements on domains and topology.
MFCSIT
George M. Reed
1999 Misc conf
Model-Checking Temporal Behaviour in CSP.
PDPTA
Joël Ouaknine, George M. Reed
1999 J jnl
The Timed Failures-Stability Model for CSP.
Theor. Comput. Sci.
George M. Reed, A. W. Roscoe
1998 B conf
Automated Formal Analysis of Networks: FDR Models of Arbitrary Topologies and Flow-Control Mechanisms.
FASE
Joy N. Reed, D. M. Jackson, Borislav Deianov, George M. Reed
1991 — conf
Timed CSP: Theory and Practice.
REX Workshop
Steve A. Schneider, Jim Davies, D. M. Jackson, George M. Reed, Joy N. Reed, A. W. Roscoe
1989 B conf
A Hierarchy of Domains for Real-Time Distributed Computing.
Mathematical Foundations of Programming Semantics
George M. Reed
1989 — conf
Analysing
Concurrency: Theory, Language, And Architecture
George M. Reed, A. W. Roscoe
1988 J jnl
A Timed Model for Communicating Sequential Processes.
Theor. Comput. Sci.
George M. Reed, A. W. Roscoe
1988 — —
A uniform mathematical theory for real-time distributed computing.
George M. Reed
1987 B conf
Metric Spaces as Models for Real-Time Concurrency.
MFPS
George M. Reed, A. W. Roscoe
1986 A* conf
A Timed Model for Communicating Sequential Processes.
ICALP
George M. Reed, A. W. Roscoe
1984 J jnl
On the characterization of simple closed surfaces in three-dimensional digital images.
Comput. Vis. Graph. Image Process.
George M. Reed
1982 J jnl
Recognition of Surfaces in Three-Dimensional Digital Images
Inf. Control.
George M. Reed, Azriel Rosenfeld