George M. Reed

According to our database, George M. Reed authored at least 12 papers between 1982 and 2000.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2000

Measurements on domains and topology.

George M. Reed

Proceedings of the First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2000

1999

The Timed Failures-Stability Model for CSP.

George M. Reed, A. W. Roscoe

Theor. Comput. Sci., 1999

Model-Checking Temporal Behaviour in CSP.

Joël Ouaknine, George M. Reed

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999

1998

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

Proceedings of the Fundamental Approaches to Software Engineering, 1998

1991

Timed CSP: Theory and Practice.

Steve A. Schneider, Jim Davies, D. M. Jackson, George M. Reed, Joy N. Reed, A. W. Roscoe

Proceedings of the Real-Time: Theory in Practice, 1991

1989

A Hierarchy of Domains for Real-Time Distributed Computing.

George M. Reed

Proceedings of the Mathematical Foundations of Programming Semantics, 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29, 1989

Analysing <i>TM_FS</i>: a Study of Nondeterminism in Real-Time Concurrency.

George M. Reed, A. W. Roscoe

Proceedings of the Concurrency: Theory, 1989

1988

A uniform mathematical theory for real-time distributed computing.

George M. Reed

PhD thesis, 1988

1987

Metric Spaces as Models for Real-Time Concurrency.

George M. Reed, A. W. Roscoe

Proceedings of the Mathematical Foundations of Programming Language Semantics, 1987

1986

A Timed Model for Communicating Sequential Processes.

George M. Reed, A. W. Roscoe

Proceedings of the Automata, Languages and Programming, 13th International Colloquium, 1986

1984

On the characterization of simple closed surfaces in three-dimensional digital images.

George M. Reed

Comput. Vis. Graph. Image Process., 1984

1982

Recognition of Surfaces in Three-Dimensional Digital Images

George M. Reed, Azriel Rosenfeld

Inf. Control., 1982