Joy N. Reed

Publication Activity (10 Years)

Years Active: 1991-2007
Publications (10 Years): 0

Publications

Joy N. Reed, A. W. Roscoe, Jane E. Sinclair
Responsiveness and stable revivals. Formal Aspects Comput. 19 (3) (2007)
Joy N. Reed, A. W. Roscoe, Jane E. Sinclair
Machine-Verifiable Responsiveness. Electron. Notes Theor. Comput. Sci. 145 (2006)
Joy N. Reed, Jane E. Sinclair
Motivating Study of Formal Methods in the Classroom. TFM (2004)
Joy N. Reed, Jane E. Sinclair, A. W. Roscoe
Responsiveness of interoperating components. Formal Aspects Comput. 16 (4) (2004)
Joy N. Reed, Jane E. Sinclair
Combining Independent Specifications. FASE (2001)
Joy N. Reed, Jane E. Sinclair
Refinement-Preserving Plug-In Components. Electron. Notes Theor. Comput. Sci. 40 (2000)
Joy N. Reed, Jane E. Sinclair
Routing - A Challenge to Formal Methods. PDPTA (1999)
S. J. Creese, Joy N. Reed
Verifying End-to-End Protocols using Induction with CSP/FDR. IPPS/SPDP Workshops (1999)
Joy N. Reed, Jane E. Sinclair, F. Guigand
Deductive Reasoning versus Model Checking: Two Formal Approaches for System Development. IFM (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)
Joy N. Reed
Formal Methods and Industrial-Strength Computer Networks. Requirements Targeting Software and Systems Engineering (1997)
Joy N. Reed, Kevin Parrott, Tim Lanfear
Portability, predictability and performance for parallel computing: BSP in practice. Concurr. Pract. Exp. 8 (10) (1996)
Andrew Kay, Joy N. Reed
A Rely and Guarantee Method for Timed CSP: A Specification and Design of a Telephone Exchange. IEEE Trans. Software Eng. 19 (6) (1993)
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)