George M. Reed
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
1986–1999
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1999 | PDPTA | Model-Checking Temporal Behaviour in CSP. | Jol Ouaknine, George M. Reed |
| 1998 | FASE | 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 |
| 1989 | CONCUR | Analysing | George M. Reed, A. W. Roscoe |
| 1989 | MFPS | A Hierarchy of Domains for Real-Time Distributed Computing. | George M. Reed |
| 1987 | MFPS | Metric Spaces as Models for Real-Time Concurrency. | George M. Reed, A. W. Roscoe |
| 1986 | ICALP | A Timed Model for Communicating Sequential Processes. | George M. Reed, A. W. Roscoe |